🔌

lean-prover

🔌Plugin

PsychQuant/psychquant-claude-plugins

What it does

Lean 4 automated proof grinding — breadth-first sorry elimination with Mathlib API rules, codex-prove-assist, lean-prover agent, and auto-commit

🏪

Part of

psychquant-psychquant-claude-plugins

development

Installation

Add marketplace in Claude Code:

/plugin marketplace add PsychQuant/psychquant-claude-plugins

Step 2. Install plugin:

/plugin install lean-prover@psychquant-claude-plugins

AddedApr 6, 2026

View on GitHub Back to Plugins

More from this repository10

🔌

mcp-tools🔌Plugin

MCP Server 開發工具集：mcp-new-app、mcp-deploy、mcp-install、mcp-upgrade、mcp-clone、mcp-publish、mcp-sync、mcp-diagnose、mcp-debug、mcp-test、mcp-to-plugin、mcp-issue

🔌

cli-tools🔌Plugin

CLI tool lifecycle management — build, deploy, install, upgrade Swift CLI tools via GitHub Releases

🔌

che-svg-mcp🔌Plugin

SVG MCP Server — Swift 原生 XML 操作，33 個工具，Session-based 向量圖形編輯

🔌

che-things-mcp🔌Plugin

Things 3 任務管理 MCP Server - 47 個工具支援完整 GTD 工作流程

🔌

che-apple-dev🔌Plugin

Apple platform development toolkit — build, deploy, debug, device management, Apple OAuth setup for Xcode projects

🔌

issue-driven-dev🔌Plugin

Issue-driven development methodology: idd-issue → idd-diagnose → idd-implement → idd-verify → idd-close + idd-update. Auto-complete friendly.

🔌

perspective-writer🔌Plugin

Write letters, emails, autobiographies, and formal documents by simulating the writer's authentic voice

🔌

archive-first🔌Plugin

Protect files from AI-assisted deletion — PreToolUse hooks block destructive commands on archived/ paths, toggle with archived-lock/archived-unlock

🔌

parallel-ai-agents🔌Plugin

平行派發任務給多個 AI agent（Claude + Codex），獨立執行後交叉比對結果

🔌

safari-browser🔌Plugin

macOS native browser automation via Safari + AppleScript — permanent login, upload --native