Back to Browse
Free
Server data from the Official MCP Registry
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
About
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
Remote endpoints: streamable-http: https://prover.axiomatic-ai.com/mcp/
How to Connect
Remote Plugin
No local installation needed. Your AI client connects to the remote endpoint directly.
Add this to your MCP configuration to connect:
{
"mcpServers": {
"com-axiomatic-ai-prover": {
"url": "https://prover.axiomatic-ai.com/mcp/"
}
}
}Security Report
10.0
Low Risk10.0Low RiskValid MCP server (1 strong, 1 medium validity signals). No known CVEs in dependencies. Imported from the Official MCP Registry.
Endpoint verified · Requires authentication · 1 issue found
Security scores are indicators to help you make informed decisions, not guarantees. Always review permissions before connecting any MCP server.
Permissions Required
This plugin requests these system permissions. Most are normal for its category.
Reviews
No reviews yet
Be the first to review this server!
More Developer Tools MCP Servers
Toleno
Freeby Toleno · Developer Tools
Toleno Network MCP Server — Manage your Toleno mining account with Claude AI using natural language.
114
Stars
374
Installs
10.0
Security
4.8
Local
mcp-creator-python
Freeby mcp-marketplace · Developer Tools
Create, build, and publish Python MCP servers to PyPI — conversationally.
-
Stars
48
Installs
10.0
Security
5.0
Local
mcp-creator-typescript
Freeby mcp-marketplace · Developer Tools
Scaffold, build, and publish TypeScript MCP servers to npm — conversationally
-
Stars
13
Installs
10.0
Security
5.0
Local
FinAgent
Freeby mcp-marketplace · Finance
Free stock data and market news for any MCP-compatible AI assistant.
-
Stars
13
Installs
10.0
Security
No ratings yet
Local
MarkItDown
Freeby Microsoft · Content & Media
Convert files (PDF, Word, Excel, images, audio) to Markdown for LLM consumption
89.9K
Stars
11
Installs
8.5
Security
5.0
Local
Document Converter
Freeby xt765 · Developer Tools
Convert PDF, DOCX, HTML, Markdown, and Text for AI assistant context injection.
-
Stars
10
Installs
10.0
Security
5.0
Local