Stork.AIstork.ai

prover

Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.

build.protocol_tooling.mcp
Visit Homepage
Back to MCP Servers