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.
NixOS for autonomous AI coding — kernel-level sandboxing, atomic rollbacks, reproducible AI toolchain. One repo, multiple machines, zero drift.
Audit, track usage, and manage your Claude Code and OpenAI Codex skills. 7 slash commands, zero dependencies.
GAAP-aware month-end close walkthrough for QuickBooks. Agent skill for Claude/Cursor/Codex.
A Codex skill for keeping long AI work on track with summaries, structured memory, and timely clarification.
Agent Your Agent (AYA) — multi-agent orchestration framework built on Claude Code CLI. Routes tasks to the best model (Claude/Deepseek/GPT), coordinates parallel workers via file-system protocol.
A Claude Code plugin for knowledge work — spec-driven phased execution with compounding institutional knowledge