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.
Deno/TypeScript wrapper for agent-CLI runtimes — Claude Code, OpenCode, Cursor, Codex. Uniform invocation, streaming-input sessions, HITL MCP, SKILL.md parser, capability inventory. Published on JSR.
Skills for Coding Agents
Automate Triggercmd tasks via Rube MCP (Composio). Always search tools first for current schemas.
The open-source voice synthesis studio
there are the skills I have deigned for my personal use
Production-grade AI agent skills by xTools. Compatible with Claude, Cursor, Windsurf, and any SKILL.md-compatible agent.