MCP.so
Sign In

Leopoldo Sarra

Member since February 20261 project submitted

Submissions

AxProver

Axiomatic-AI

An MCP server for building Lean4 code, and automated theorem proving

Added 6 months ago