io.github.sandraschi/leanforge-mcp
io.github.sandraschi/leanforge-mcp
Lean 4 theorem prover MCP: automated proof search, mathlib integration, job management
- Category
- Developer Tools
- Version
- 0.1.1
- Registry
- active
- Published
- 10/19/2026
More Developer Tools servers
Browse all Developer Tools →
io.github.sandraschi/mixx-dj-mcp
sandraschi
FastMCP server for Mixxx DJ software control via OSC protocol
io.github.sandraschi/overte-mcp
sandraschi
Overte (open-source Vircadia-lineage metaverse) Model Context Protocol server for domain administ...
io.github.sandraschi/qcad-mcp
sandraschi
QCAD 2D CAD automation: DXF/DWG floor plans to SVG and STL, via MCP tools and REST
io.github.sandraschi/resonite-mcp
sandraschi
Resonite social VR platform MCP server for natural language control of avatars, worlds, and Proto...
io.github.sandsower/vedurstofa-mcp
sandsower
MCP server for Icelandic weather, forecasts, warnings, and earthquakes from vedur.is.
AdversaryGate
Sanflow10
Fail-closed merge gate an agent calls before saying done: MERGE, BLOCK or INCONCLUSIVE.
Add the badge to your site
Show visitors that io.github.sandraschi/leanforge-mcp is listed here — it’s also the link we check for a free listing.
HTML — for your website
<a href="https://serverdex.io/server/io-github-sandraschi-leanforge-mcp?utm_source=badge"><img src="https://serverdex.io/brand/badge.svg" alt="io.github.sandraschi/leanforge-mcp — listed on Serverdex" width="123" height="40" loading="lazy"></a>Recommended. A dofollow link from your own domain is the one that counts for search engines, and it's the link we check for a free listing.
Markdown — for your README
[](https://serverdex.io/server/io-github-sandraschi-leanforge-mcp?utm_source=badge)Nice for visibility, but GitHub marks README links nofollow, so it doesn't pass authority. Use the HTML badge on your site as well.