com.axiomatic-ai/prover

com.axiomatic-ai/prover · v0.1.0 · other

com.axiomatic-ai/prover is up but requires authentication (oauth). It scores 47/100.

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

Endpoint: https://prover.axiomatic-ai.com/mcp/ (streamable-http)

Score 47/100

Scoring v0.3, computed 2026-10-15T02:31:07.894Z.

Reachable; handshake needs credentials so tools could not be listed
Tool quality not measurable behind auth: neutral half credit
GitHub signals are off for everyone: maintenance uses registry dates (half credit)

Checked (UTC)	Status	Latency	Error
2026-10-14T18:15:35.763Z	Needs auth	1677	initialize: HTTP 401

Tools are listed after a successful handshake.