com.axiomatic-ai

com.axiomatic-ai/prover

Not yet scored — run mcpr scan

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

Slug

mcpr-com-axiomatic-ai-prover

License

Unspecified

Quality score

Not yet probed

Trust score

Not yet scored

Latest version

0.1.0

Published

2026-02-23

Homepage

—

Repository

github.com/Axiomatic-AI/ax-prover-base-mcp

Capabilities

Not yet declared in the manifest.

Embed the live badge

Always reflects the current grade. Score drops → badge drops. No vanity lock.

Live MCP Vouch trust badge for mcpr-com-axiomatic-ai-prover
[![MCP trust score](https://mcp-registry-dh5.pages.dev/api/badge/mcpr-com-axiomatic-ai-prover.svg)](https://mcp-registry-dh5.pages.dev/servers/mcpr-com-axiomatic-ai-prover/)

Install

One-click cross-client install (Claude Code, Claude Desktop, Cursor, Windsurf) coming soon. The registry will write the correct config fragment to the correct file — no copy-paste.