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 skills add QEDGen/solana-skillsFormally verify Solana programs with Lean 4 proofs. An agent skill powered by Mistral's Leanstral model.
Claude Code global configuration: skills, hooks, CLAUDE.md
An agentic skills framework & software development methodology that works.
🛠️ Curate top-rated tools, plugins, and servers for enhancing agentic coding with Claude Code, Codex, Gemini CLI, and more.
AI-agents skills hub
earnings-analyst — AI skill for Claude powered by finskills.net API
Train your AI coders the way you'd train a vine — discover your codebase's actual patterns, then encode them as Claude Code rules, skills, agents, hooks, and a guided pipeline so generated code lands inside your conventions on the first try, not the fifth.