{"id":"com-axiomatic-ai-prover","name":"com.axiomatic-ai/prover","title":null,"description":"Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.","category":"other","categories":[],"flags":[],"users_30d":0,"health":{"status":"auth_required","latency_ms":1677,"tool_count":null,"auth":"oauth","checked_at":"2026-10-14T18:15:35.763Z"},"remote":true,"pending":false,"install_link":"https://toolfindr.dev/add?server=com.axiomatic-ai%2Fprover&ref=tool-finder","details_url":"https://toolfindr.dev/servers/com-axiomatic-ai-prover","health_error":"initialize: HTTP 401","repo_url":"https://github.com/Axiomatic-AI/ax-prover-base-mcp","website_url":null,"version":"0.1.0","remotes":[{"type":"streamable-http","url":"https://prover.axiomatic-ai.com/mcp/"}]}