Registry Categories Blog Docs

The secure control plane for AI tool infrastructure. Discover, evaluate, and govern MCP servers.

Platform

Registry
Categories
Submit Server

Resources

Blog
Documentation
RSS Feed

Community

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 2 days ago

Version History

v0.1.0

Imported from MCP Registry

Feb 23, 2026

Trust Score

34Limited

Verification10/30

Popularity0/25

Maintenance19/25

Transparency5/20

Details

Category

Cloud Infrastructure

MaintainerAxiomatic-AI

OrganizationAxiomatic-AI

Last Activity8 days ago

Status

Active