Loading MCP server directory, please wait...
Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
npx @getmcp/cli add io.github.Archerkattri/mathlasRequires Python 3.10+. Community-contributed server. Review source before installing.
Config file: ~/Library/Application Support/Claude/claude_desktop_config.json
{
"mcpServers": {
"io.github.Archerkattri/mathlas": {
"command": "uvx",
"args": [
"mathlas-mcp"
],
"env": {
"MATHLAS_SEED": "",
"MATHLAS_INDEX": ""
}
}
}
}Hosted Google Calendar MCP server for AI agents. No self-hosting or Google Cloud setup.
Turn documents into structured data: parse, extract, classify, split, and fill PDF forms.
Convert PDF bank statements to checked Excel, CSV or JSON with balance validation.
Your own closet in your AI: outfits from clothes you own, rendered on a model inline.