{"id":"76dedfd8-d9b0-4f27-b884-8abee487b155","name":"Axiomatic Ai","slug":"axiomatic-ai","description":"Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.","website_url":"https://axiomatic-ai.com","category":["api","developer","mcp"],"score":null,"latency":null,"uptime_30d":null,"protocols":["rest"],"auth_type":null,"mcp_manifest_url":null,"openapi_spec_url":null,"verified":false,"domain_verified":false,"claimed":false,"vendor_id":null,"status":"active","profile":null,"pricing":null,"last_crawled":"2026-09-01T10:42:16.477905+00:00","last_benchmarked":null,"supports_x402":false,"agent_auth_methods":null,"supports_streaming":false,"has_sandbox":false,"sdks":null,"llms_txt_url":null,"similarity_score":null,"telemetry_evidence":null,"mycelio":null,"featured":false}