NeVibeCode · 3 items
Skills and MCP tagged “proof”
ce-proof skill Publishes local markdown files to Proof, a collaborative editor for specs, plans, and drafts.
Claude Code CX Codex Cursor +1
3,000installs
siege
official skill Runs iterative rounds on a hard math problem using subagents and maintains a proof ledger. It helps test mathematical claims without manually driving each step.
Claude Code
658installs
solo
official skill Solves hard math problems in one session without sub-agents, logs each step in notes.md to survive message limits, and produces a standalone proof.md.
Claude Code
657installs
