low
com.axiomatic-ai/prover
v0.1.0Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
0
Total
0
Critical
0
High
0
Medium
Findings
No findings detected — this package appears clean.
Scan History
| Date | Risk | Findings | Files | Duration |
|---|---|---|---|---|
| Feb 26, 2026 | low | 0 | 2 | 0.00s |
| Feb 24, 2026 | low | 0 | 2 | 0.00s |