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.
Portable Claude Code skills + agents extracted from the VADE substrate (https://read.vade-app.dev). CC-BY-4.0.
Agentskills.io-compatible skill that walks an AI agent through integrating the Amply SDK into a mobile app — React Native, Expo, iOS / Swift, Android / Kotlin, or Kotlin Multiplatform. Works with Claude Code, Codex CLI, and any host that follows the spec.
Automate Ngrok tasks via Rube MCP (Composio). Always search tools first for current schemas.
Reusable AI Agent skill for building subject timeline HTML from listings, protocol files, and PD trackers.
ai-coding-kit一个跨平台的AI工具集成项目，帮助开发者轻松安装和管理各类AI开发工具。
Automate Loomio tasks via Rube MCP (Composio). Always search tools first for current schemas.