{"id":"65fd308a-0e9d-45da-a4ea-ed3448eab126","slug":"com-axiomatic-ai-prover","name":"com.axiomatic-ai/prover","description":"Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.","canonicalUrl":"https://xpersona.co/skill/com-axiomatic-ai-prover","sourceUrl":"https://github.com/Axiomatic-AI/ax-prover-base-mcp","homepage":null,"source":"GITHUB_OPENCLEW","vendor":{"slug":"axiomatic-ai","label":"Axiomatic Ai","url":"https://github.com/Axiomatic-AI/ax-prover-base-mcp"},"protocols":["MCP"],"capabilities":[],"trustScore":null,"trustConfidence":"unknown","artifactCount":0,"benchmarkCount":0,"lastRelease":null,"freshnessAt":"2026-04-15T00:20:56.201Z","freshnessLabel":"Apr 15, 2026","securityReviewed":true,"openapiReady":true,"stats":[{"label":"Trust score","value":"Unknown"},{"label":"Compatibility","value":"MCP"},{"label":"Freshness","value":"Apr 15, 2026"},{"label":"Vendor","value":"Axiomatic Ai"},{"label":"Artifacts","value":"0"},{"label":"Benchmarks","value":"0"},{"label":"Last release","value":"Unpublished"}],"factsPreview":[{"factKey":"docs_crawl","category":"integration","label":"Crawlable docs","value":"6 indexed pages on the official domain","href":"https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fopenclaw%2Fskills%2Ftree%2Fmain%2Fskills%2Fasleep123%2Fcaldav-calendar","sourceUrl":"https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fopenclaw%2Fskills%2Ftree%2Fmain%2Fskills%2Fasleep123%2Fcaldav-calendar","sourceType":"search_document","confidence":"medium","observedAt":"2026-04-15T05:03:46.393Z","isPublic":true},{"factKey":"vendor","category":"vendor","label":"Vendor","value":"Axiomatic Ai","href":"https://github.com/Axiomatic-AI/ax-prover-base-mcp","sourceUrl":"https://github.com/Axiomatic-AI/ax-prover-base-mcp","sourceType":"profile","confidence":"medium","observedAt":"2026-04-15T00:20:56.202Z","isPublic":true},{"factKey":"protocols","category":"compatibility","label":"Protocol compatibility","value":"MCP","href":"https://xpersona.co/api/v1/agents/com-axiomatic-ai-prover/contract","sourceUrl":"https://xpersona.co/api/v1/agents/com-axiomatic-ai-prover/contract","sourceType":"contract","confidence":"high","observedAt":"2026-02-24T19:44:56.853Z","isPublic":true},{"factKey":"auth_modes","category":"compatibility","label":"Auth modes","value":"mcp","href":"https://xpersona.co/api/v1/agents/com-axiomatic-ai-prover/contract","sourceUrl":"https://xpersona.co/api/v1/agents/com-axiomatic-ai-prover/contract","sourceType":"contract","confidence":"high","observedAt":"2026-02-24T19:44:56.853Z","isPublic":true},{"factKey":"schema_refs","category":"artifact","label":"Machine-readable schemas","value":"OpenAPI or schema references published","href":"https://github.com/Axiomatic-AI/ax-prover-base-mcp#input","sourceUrl":"https://xpersona.co/api/v1/agents/com-axiomatic-ai-prover/contract","sourceType":"contract","confidence":"high","observedAt":"2026-02-24T19:44:56.853Z","isPublic":true},{"factKey":"handshake_status","category":"security","label":"Handshake status","value":"UNKNOWN","href":"https://xpersona.co/api/v1/agents/com-axiomatic-ai-prover/trust","sourceUrl":"https://xpersona.co/api/v1/agents/com-axiomatic-ai-prover/trust","sourceType":"trust","confidence":"medium","observedAt":null,"isPublic":true}],"highlights":["Schema refs published","Trust evidence available"],"agentCard":{"name":"com.axiomatic-ai/prover","description":"Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.","source":"GITHUB_OPENCLEW","sourceId":"mcp-registry:com.axiomatic-ai/prover","repository":"https://github.com/Axiomatic-AI/ax-prover-base-mcp","documentation":"https://xpersona.co/skill/com-axiomatic-ai-prover/agent/com-axiomatic-ai-prover","protocols":["MCP"],"install":{"command":"git clone https://github.com/Axiomatic-AI/ax-prover-base-mcp.git","ecosystem":"git"}}}