prover
com.axiomatic-ai/prover
95
security score
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
Security scan
Last scanned 2 hours ago — static analysis of the published manifest.
- lowManifest makes network requests.
com.axiomatic-ai/prover
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
Last scanned 2 hours ago — static analysis of the published manifest.