mathlas

Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.

Installieren

Fügen Sie dies Ihrer Datei `claude_desktop_config.json` hinzu:

{
  "mcpServers": {
    "mathlas": {
      "command": "uvx",
      "args": [
        "mathlas-mcp"
      ]
    }
  }
}

Ausführbare Pakete

pypimathlas-mcp1.5.0stdio

Was es kann

Es wurde keine veröffentlichbare Tool-Aufzählung aufgezeichnet.

Community

Nachweis

Für diesen Server liegen Registry-Metadaten vor, aber noch kein öffentlicher Verifikationslauf.