QEDGen/solana-skills
Formally verify Solana programs with Lean 4 proofs. An agent skill powered by Mistral's Leanstral model.
Formally verify Solana programs with Lean 4 proofs. An agent skill powered by Mistral's Leanstral model.
npx add-skill QEDGen/solana-skillsFormally verify Solana programs with Lean 4 proofs. An agent skill powered by Mistral's Leanstral model.
AgentFlow-Go 是一个以场景 YAML 为配置中心的 Go Agent 框架，核心定位是组合 Agent、Tool、Skill、LLM Gateway、上下文治理、Memory、Run State 和 Human-in-the-loop 编排能力。它既可以作为 Go 库嵌入到项目中，也可以通过 CLI/HTTP 方式独立运行。
A curated, auto-updated list of CLAUDE.md rules, MCP servers, and Claude Code skills. The awesome-list companion to clauderules.net.
Safe Codex Agent Skill for reducing repeated permission prompts with verified prefix_rule proposals, dry-run apply, and rollback.
AI agent native DevOps bash script orchestrator.
Automate Enigma tasks via Rube MCP (Composio). Always search tools first for current schemas.
Quality tooling for Claude Code skills — audit checklist + anti-patterns catalog. Complements anthropics/skill-creator.