brilliant-directories-mcp
v6.58.2
MCP ServerMCP Registry
io.github.brilliantdirectories/brilliant-directories-mcp
Official MCP server for Brilliant Directories — manage members, posts, leads, reviews, and more.
stdio
com.axiomatic-ai/prover · v0.1.0
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
prover 是一个MCP Server，收录自 官方 MCP Registry。支持 streamable-http 传输。本页提供 Cursor、Claude Code 等客户端的安装配置片段。
选择你的平台查看安装方式
{
"mcpServers": {
"prover": {
"url": "https://prover.axiomatic-ai.com/mcp/"
}
}
}{
"id": "com.axiomatic-ai/prover",
"type": "mcp-server",
"version": "0.1.0",
"displayName": "prover",
"description": "Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.",
"repository": {
"url": "https://github.com/Axiomatic-AI/ax-prover-base-mcp",
"source": "github"
},
"distribution": {
"packages": [],
"remotes": [
{
"transport": "streamable-http",
"url": "https://prover.axiomatic-ai.com/mcp/"
}
]
},
"dependencies": [],
"installTargets": [
"claude-code",
"claude-desktop",
"cursor",
"vscode"
],
"keywords": [],
"provenance": {
"origin": "official-mcp-registry",
"originalId": "com.axiomatic-ai/prover",
"originalUrl": "https://registry.modelcontextprotocol.io/v0.1/servers/com.axiomatic-ai%2Fprover/versions/latest",
"isOfficial": true,
"status": "active"
}
}