polyglot-spi
Cross-Language Strong Parallelism Invariance Verification
发现 testing security llm ai 相关 Skills,比较来源仓库和用途,查看适合你工作流的技能说明。
Cross-Language Strong Parallelism Invariance Verification
Code Query with AI-enhanced deterministic analysis via SplitMix ternary classification
Analyzes your recent Claude Code chat history to identify coding patterns,
Extract information delta between Claude.ai conversation exports using ACSets morphisms and bisimulation verification
Interruption pattern detection and retrieval from Amp thread history. Use for analyzing tool rejection patterns and improving agent behavior.
Distributed LLM inference across Apple Silicon clusters with exo. Run models across Mac Studios via Thunderbolt RDMA, auto peer discovery, and MLX sharding. Use for multi-device inference, model parallelism, or...
Local Compositionality Gadget
System 2 attention mechanisms for deliberate, slow reasoning in transformer
Meta-skill that generates domain-specific AI skills from tool documentation
Comprehensive document creation, editing, and analysis with support for
Schmidhuber''s Gödel Machine: Self-improving systems that prove their
Gesture Hypergestures Skill
Goose session introspection and self-discovery via DuckDB reafference database. Query past sessions, find self, and enable cross-session awareness.
Pre-Agent Ontology Skill
Use when interpreting Culture Index surveys, CI profiles, behavioral assessments, or personality data. Supports individual interpretation, team composition (gas/brake/glue), burnout detection, profile compariso...
Google Docs/Sheets management via ACSet condensation. Transforms documents into GF(3)-typed Interactions, tracks comments/cells, detects saturation when all comments resolved. Use for document workflows, spread...
GF(3) Triadic Task Routing for Subagent Orchestration
ANIMA as limit construction over condensed skill applications. Formalizes prediction markets as belief ANIMAs, structure dishes as condensation media, and impact as equivalence class change. Use for understandi...
LiveKit omni-modal continuous coaching with stick-breaking color selection,
Navigate skill graphs via deterministic random walks. Fuses derivational chains, algebraic structure, color determinism, and bidirectional flow for skill recombination.
Agent Skills formal specification for cross-platform compatibility. Ensures skills are evolutionarily robust across Claude, Codex, Cursor, Amp, and future agents.
Use macOS text-to-speech for agent narration and announcements. Sub-agents announce themselves using different language voices speaking English. Use for multi-agent workflows where each agent has a distinct voi...
Gmail inbox management via ANIMA condensation. Transforms messages into GF(3)-typed Interactions, routes to triadic queues, detects saturation for inbox-zero-as-condensed-state. Use for email triage, workflow a...
Analyzes meeting transcripts and recordings to uncover behavioral patterns,
默认按已收录数据中的 GitHub 仓库 Stars 排序。Stars 属于来源仓库,同一仓库的多个技能可能共享相同数值;它反映仓库关注度,不代表单个技能的安装量或质量评分。