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.
Pick the best Claude Code /buddy companion by rerolling species, rarity, eyes, hats, shiny traits, and stats.
Multi-agent skill that automates sprint delivery: read Jira/Azure DevOps sprint then verify repo architecture mapping. Claude/Codex/Hermes/Openclaw/Copilot.
Recently updated AI agent skill repository: Digine-Labs/midenname-agent-skills
All-in-one personal tracker as one openclaw skill bundle. Record diary, mood, reminders, daily MIT in one place; read-only dashboard; chat-driven; one-command scaffolder for new trackers.
Automate Folk tasks via Rube MCP (Composio). Always search tools first for current schemas.
OpenCode skills collection - 290+ skills for scientific computing, automation, and AI workflows