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.
stdionpmregistry 收录
io.github.Archerkattri/mathlas · v1.5.0
Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
mathlas 是一个MCP Server，收录自 官方 MCP Registry。支持 stdio 传输。本页提供 Cursor、Claude Code 等客户端的安装配置片段。
选择你的平台查看安装方式
{
"mcpServers": {
"mathlas": {
"command": "uvx",
"args": [
"mathlas-mcp"
]
}
}
}MATHLAS_SEED可选Set to 1 to force the lightweight built-in seed corpus and never load the multi-GB prebuilt index (fast cold start).
MATHLAS_INDEX可选Path to a prebuilt index .npz to serve for search_existing_math (optional; the seed corpus is used when absent).
v6.58.2
io.github.brilliantdirectories/brilliant-directories-mcp
Official MCP server for Brilliant Directories — manage members, posts, leads, reviews, and more.
v3.1.0
io.github.pvliesdonk/markdown-vault-mcp
Markdown vault MCP server with FTS5 + semantic search and frontmatter indexing
v0.3.0
io.github.opendata-kr/narajangteo-opening
나라장터 낙찰정보서비스 Open API를 위한 로컬 MCP 서버
v3.10.1
io.github.webdriverio/mcp
MCP server with WebdriverIO for browser and mobile app automation (iOS/Android via Appium)
v0.0.53
io.github.cablate/google-map
18 Google Maps tools for AI agents — geocode, search, directions, weather, and more.
v1.0.0
ai.arpi/arpi-mcp
AI-powered ECG analysis: submit ECG images and receive diagnosis reports from ARPI's ECG AI.
{
"id": "io.github.Archerkattri/mathlas",
"type": "mcp-server",
"version": "1.5.0",
"displayName": "mathlas",
"description": "Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.",
"repository": {
"url": "https://github.com/Archerkattri/mathlas",
"source": "github"
},
"distribution": {
"packages": [
{
"registryType": "pypi",
"identifier": "mathlas-mcp",
"version": "1.5.0",
"runtimeHint": "uvx",
"transport": "stdio",
"environmentVariables": [
{
"name": "MATHLAS_SEED",
"description": "Set to 1 to force the lightweight built-in seed corpus and never load the multi-GB prebuilt index (fast cold start)."
},
{
"name": "MATHLAS_INDEX",
"description": "Path to a prebuilt index .npz to serve for search_existing_math (optional; the seed corpus is used when absent)."
}
]
}
],
"remotes": []
},
"dependencies": [],
"installTargets": [
"claude-code",
"claude-desktop",
"cursor",
"vscode"
],
"keywords": [],
"provenance": {
"origin": "official-mcp-registry",
"originalId": "io.github.Archerkattri/mathlas",
"originalUrl": "https://registry.modelcontextprotocol.io/v0.1/servers/io.github.Archerkattri%2Fmathlas/versions/latest",
"isOfficial": true,
"status": "active"
}
}