{"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.","capabilities":[],"protocols":["MCP"],"safetyScore":77,"overallRank":44.6,"trustScore":null,"trust":null,"source":"GITHUB_OPENCLEW","updatedAt":"2026-04-15T00:20:56.202Z"}