← Alle MCP serversMCP server (plugin) · Tools
prover
Lean 4 MCP-server: compileer, bewijs stellingen en formaliseer wiskunde met Mathlib.
Bron: github.com/Axiomatic-AI/ax-prover-base-mcp · Licentie: zie bron
Volledige uitleg, versies en download zijn beschikbaar voor leden — lidmaatschap is gratis.