Home / Registry / com.axiomatic-ai/proverCloud InfrastructureTrust: 25/100 (Limited)com.axiomatic-ai/prover GuideLean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.by Axiomatic-AIResourcesView in RegistryGitHub Repository