MarketNow Registry / Developer Tools / prover

prover

Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.

Developer Tools v0.1.0 by com.axiomatic-ai

Trust score

85/100

Install risk

Review advised

Source

official-registry

Indexed

2026-09-10

Install

$ https://prover.axiomatic-ai.com/mcp/

Heuristic signals advise review before installing: young package, low adoption, stale repository, or name similarity to a popular package.

How MarketNow scored this

Sentinel Index Heuristics — a security-first estimate from public signals:

Package age and release activity (stale repositories lose points)
Verified adoption: registry downloads or GitHub stars, not follower counts
Typosquat distance against the 150 most-installed MCP packages
Injection markers scanned in the package description

Heuristic, not a guarantee. For verified agent credentials and revocation, see the MarketNow Trust API.

What is prover?

Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib. Indexed by MarketNow with trust 85/100 (Review advised).

How do I install it?

Run $ https://prover.axiomatic-ai.com/mcp/ Heuristic signals advise review before installing: young package, low adoption, stale repository, or name similarity to a popular package.

What does the trust score mean?

Security-first heuristic over public signals (age, adoption, typosquat distance, injection markers). It is not a popularity ranking and not a guarantee of safety. prover scores 85/100.