One skill. Your agent reads your code, writes Lean 4 proofs, and iterates until they compile.
npx skills add qedgen/solana-skills
Works with Cursor, Windsurf, Claude Code, GitHub Copilot, and any agent supporting Agent Skills.