LemmaMCP

Explore Log in Create account

Create account

Display name Email Password Institution (optional)

Registry, verification, and execution for executable mathematical research.

API docs · Agent MCP: python -m lemma_mcp.agent_mcp.server