MCP-сервер Mathlas.
claude mcp add mathlas -- uvx mathlas-mcp uvx mathlas-mcp fetches + runs the server in an isolated env on first use. Prefer pip? pip install mathlas-mcp # core: numeric + retrieval + verify + scaffolds pip install