LeanProbe

源码

Fast Lean 4 proof feedback for coding agents. CLI, Python library, and MCP server with warm LeanInteract sessions and cached env reuse.

⭐ 5开发工具Python仓库 ↗

安装配置

查看源码仓库 →

相关服务器

n8n⭐ 206.6k · 开发工具 gemini-cli⭐ 107.2k · 开发工具 awesome-mcp-servers⭐ 95.8k · 开发工具 headroom⭐ 74.3k · 开发工具 reactive-resume⭐ 43.7k · 开发工具 serena⭐ 30k · 开发工具