The control plane for AI infrastructure. Define trust. Enforce it everywhere.

Platform

Gateway
Registry
Pricing
Enterprise

Registry

Servers
Skills
Categories
Submit a server

Resources

Docs
Blog
RSS Feed

Company

GitHub
Sign In

© 2026 VaultPlane. All rights reserved.

com.axiomatic-ai/prover: MCP Server | VaultPlane

Back to Registry

com.axiomatic-ai/prover

Community

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

2 contributors v0.1.0 Updated 3 months ago

Version History

v0.1.0

Imported from MCP Registry

Feb 23, 2026

Trust Score

25Limited

Verification10/30

Popularity0/25

Maintenance10/25

Transparency5/20

Details

Category

Cloud Infrastructure

MaintainerAxiomatic-AI

OrganizationAxiomatic-AI

Last Activity3 months ago

Status

Active