jelly-chain/jelly-claude-skills
skills old repo
Source: https://github.com/jelly-chain/jelly-claude-skills
Discovered by the Awesome Skills daily skill hunter.
skills old repo
npx add-skill jelly-chain/jelly-claude-skillsskills old repo
Source: https://github.com/jelly-chain/jelly-claude-skills
Discovered by the Awesome Skills daily skill hunter.
Formally verify Solana programs with Lean 4 proofs. An agent skill powered by Mistral's Leanstral model.
Generate custom AI agent files tailored to your codebase that learn and improve autonomously over time.
Enable AI agents to swap crypto cross-chain with Chainflip via MCP, no API key needed
Automate Turbot Pipes tasks via Rube MCP (Composio). Always search tools first for current schemas.
Source-verified Agent Skills for implementing and operating AuthOS.
🏦 投资大佬日报 — Daily digest of top investors on X/Twitter. Install as an OpenClaw/Claude Code skill.