lean-proof-auto-mcp

Source

An MCP server for deterministic probing and search of Lean 4 proof automation (Aesop / Grind).

⭐ 0Search & InfoPythonRepo ↗Updated 2026-04-12Indexed 2026-10-11

Installation

View source repo →

Related servers

worldmonitor⭐ 88.3k · Search & Info mcp-for-beginners⭐ 17.4k · Search & Info Auto-claude-code-research-in-sleep⭐ 17.3k · Search & Info QuantDinger⭐ 12.7k · Search & Info hexstrike-ai⭐ 12.6k · Search & Info DesktopCommanderMCP⭐ 10k · Search & Info