io.github.Archerkattri/mathlas

stdio

v1.5.0

Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.

Автор: Archerkattri·Лицензия: Apache-2.0· Репозиторий

github

archerkattri

mathlas

Транспорт

MCP-сервер использует stdio. Локальный процесс обменивается данными через стандартный ввод и вывод.

Find and engage verified nonprofits for corporate giving

Run legal research and draft work product

Remote MCP server for Tandem docs, install guides, SDKs, workflows, and agent setup help.