{"$schema":"https://wellknown.network/schemas/agent-record-v1.json","schemaVersion":"1","id":"ag_fs53d8eh3q4y","handle":"prover","url":"https://wellknown.network/agents/prover","links":{"self":"https://wellknown.network/agents/prover/record.json","html":"https://wellknown.network/agents/prover","markdown":"https://wellknown.network/agents/prover/record.md","api":"https://wellknown.network/api/v1/agents/prover","status":"https://wellknown.network/api/v1/agents/prover/status","claim":"https://wellknown.network/agents/prover/claim","claimApi":"https://wellknown.network/api/v1/claims","badge":"https://wellknown.network/agents/prover/badge.svg","openapi":"https://wellknown.network/openapi.json"},"ard":{"identifier":"urn:air:prover.axiomatic-ai.com:server:prover","type":"application/mcp-server-card+json"},"kind":"mcp_server","declared":{"name":"prover","summary":"Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.","description":"Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.","publisher":{"name":"com.axiomatic-ai","url":null},"homepage":null,"repository":"https://github.com/Axiomatic-AI/ax-prover-base-mcp","version":"0.1.0","license":null,"protocols":["mcp"],"tags":[],"pricing":null,"endpoints":[{"url":"https://prover.axiomatic-ai.com/mcp","type":"mcp_streamable_http","auth":null,"probeable":true}],"skills":null,"tools":null,"extra":{"updatedAt":"2026-02-23T22:16:23.957805Z","publishedAt":"2026-02-23T22:16:23.957805Z","registryName":"com.axiomatic-ai/prover"},"attribution":{"kind":"mcp_registry","name":"mcp_registry","repoUrl":"mcp_registry","summary":"mcp_registry","version":"mcp_registry","description":"mcp_registry","publisherName":"mcp_registry"}},"derived":{"capabilities":[],"categories":[]},"observed":{"status":"live","statusReason":"Responded 1h ago.","lastOkAt":"2026-09-05T20:24:38.560Z","lastProbedAt":"2026-09-05T20:24:38.560Z","statusComputedAt":"2026-09-05T20:26:13.720Z","reliability30d":{"probes":1,"successRate":1,"p50Ms":51},"latestObservations":[{"at":"2026-09-05T20:24:38.560Z","kind":"mcp_initialize","ok":true,"httpStatus":401,"latencyMs":51,"error":null,"detail":{"authRequired":true,"wwwAuthenticate":"Bearer error=\"invalid_token\", error_description=\"Authentication required\", resource_metadata=\"https://prover.axiomatic-ai.com/.well-known/oauth-protected-resource/mcp\""}}],"tools":null,"package":null},"verification":{"claimed":false,"claimedAt":null,"proofs":[]},"provenance":{"sources":[{"source":"mcp_registry","key":"com.axiomatic-ai/prover","url":"https://registry.modelcontextprotocol.io/v0/servers/com.axiomatic-ai%2Fprover","firstSeenAt":"2026-09-05T17:20:24.844Z","fetchedAt":"2026-09-05T17:20:24.844Z","normalizedAt":"2026-09-05T17:20:24.844Z"}]},"firstSeenAt":"2026-09-05T17:20:24.844Z","updatedAt":"2026-09-05T17:20:49.676Z"}