lean-prover
PsychQuant/psychquant-claude-pluginsby Che Cheng
v1.1.0development
Lean 4 automated proof grinding — breadth-first sorry elimination with Mathlib API rules, codex-prove-assist, lean-prover agent, and auto-commit
Install
/plugin install lean-prover@psychquant-psychquant-claude-plugins
Fastest browser for AI agents to run web automation tasks, always free.
Download Free life-time →
Notes, actions and memory. Without a meeting bot. First month 100% off.
Download for free →
belt cli automatically finds the best tools and skills for your agent. image, video, music, tts...
one prompt install →
Connect your Claude agent to live crypto prices and trading routes via 1inch
Get the MCP →
Block distracting apps from your iPhone permanently without a 3rd party app. Free and open source.
Block now (100% free) →Featured
Fastest browser for AI agents to run web automation tasks, always free.
Download Free life-time →Notes, actions and memory. Without a meeting bot. First month 100% off.
Download for free →belt cli automatically finds the best tools and skills for your agent. image, video, music, tts...
one prompt install →Connect your Claude agent to live crypto prices and trading routes via 1inch
Get the MCP →Block distracting apps from your iPhone permanently without a 3rd party app. Free and open source.
Block now (100% free) →More from PsychQuant/psychquant-claude-plugins
All 34 plugins →- mcp-toolsv1.13.0
- parallel-ai-agentsv1.1.1
- perspective-writerv2.2.0
- plugin-toolsv1.8.0
- postgresql-guidev1.0.0
- r-docs-guidev1.0.0
- r-shiny-debuggerv1.0.0
- safari-browserv2.2.0
- tool-finderv1.0.0
- ai-docs-guidev1.4.0
- archive-firstv2.1.0
- che-apple-devv1.1.0
- che-apple-mail-mcpv2.0.1
- che-archive-linesv1.0.0
- che-axiom-systemsv1.0.0
- che-bot-toolkitv0.1.0
- che-creative-suitev0.1.0
- che-dropbox-ignorev2.1.0
- che-duckdb-mcpv1.1.0
- che-ical-mcpv1.7.0
- che-pixel-mcpv0.1.0
- che-svg-mcpv0.1.0
- che-telegram-mcpv1.0.0
- che-things-mcpv1.6.1