# SageMath

MCP-сервер, который даёт агенту песочницу SageMath с сохранением состояния: 40 инструментов для символьной математики и проверка заявленных результатов.

- MCP-сервер · `type=mcp` · Claude Code, Codex, Cursor, GitHub Copilot, Windsurf (Devin Desktop), Cline, Zed, Gemini CLI · ★ 18
- Автор: XBP-Europe
- Лицензия: MIT · policy=link-only · показываем только описание, файл — у автора
- Исходник: https://github.com/XBP-Europe/sagemath-mcp
- Обновлён: 2026-10-24
- HTML: https://affpapa.org/nevibecode/mcp/sagemath

## Что делает

Каждая MCP-сессия получает собственный worker-процесс Sage, поэтому переменные, функции и предположения переживают переход от вызова к вызову. Внутри 40 инструментов: символьное дифференцирование и интегрирование, теория чисел, линейная алгебра, дифференциальные уравнения, графики, комбинаторика, группы, эллиптические кривые. Отдельно стоит `verify_claim` — он прогоняет заявленный результат по лестнице доказательств и отвечает `proved`, `refuted`, `supported` или `undecided`, приложив обоснование.

Код вызывающего по умолчанию закрыт: импорты, интерфейсы к внешним CAS, работа с файлами и отрисовка не проходят. Политика пропускает 98.9% из 438 124 документированных примеров самой SageMath, каждый отказ привязан к именованному правилу. Ставится через `pip install "sagemath-mcp[passagemath]"` на Python 3.12 — около 1 ГБ, без Docker и без сборки Sage.

На 3.13 и новее пакет `memory-allocator` компилируется из исходников, а для этого нужен C-компилятор; `uvx` без `--python` берёт самый свежий Python и на установке падает. macOS и Linux работают, на Windows нативный запуск частичный, там нужен контейнер или WSL. Ещё момент: pip-версия крутится с вашими правами, так что для чужого кода или общей машины берите контейнер.

## Требования
- Нужно: Python и uv (команды через uvx)

## Установка

### Claude Code (родная платформа)

**Командой платформы**
```bash
claude mcp add sagemath-mcp -- uvx sagemath-mcp
```
uvx запускает команду с именем пакета; если в README она другая — uvx --from sagemath-mcp <команда>

### Codex

**Командой платформы**
```bash
codex mcp add sagemath -- uvx sagemath-mcp
```
uvx запускает команду с именем пакета; если в README она другая — uvx --from sagemath-mcp <команда>

### Cursor

**Файл настроек**
Файл `.cursor/mcp.json`:
```json
{
    "mcpServers": {
        "sagemath": {
            "command": "uvx",
            "args": [
                "sagemath-mcp"
            ]
        }
    }
}
```
uvx запускает команду с именем пакета; если в README она другая — uvx --from sagemath-mcp <команда>

### GitHub Copilot

**Файл настроек**
Файл `.vscode/mcp.json`:
```json
{
    "servers": {
        "sagemath": {
            "type": "stdio",
            "command": "uvx",
            "args": [
                "sagemath-mcp"
            ]
        }
    }
}
```
uvx запускает команду с именем пакета; если в README она другая — uvx --from sagemath-mcp <команда>

### Gemini CLI

**Командой платформы**
```bash
gemini mcp add sagemath uvx sagemath-mcp
```
uvx запускает команду с именем пакета; если в README она другая — uvx --from sagemath-mcp <команда>

## Когда брать
- посчитать интеграл или предел, не уходя из чата в Sage REPL
- сохранить переменные и предположения между вызовами инструментов
- перепроверить готовое утверждение через `verify_claim`
- построить график функции или граф группы по описанию
- разложить большое число на множители и посмотреть на простые делители

## Примеры запросов агенту
- Разложи 2^67 − 1 на множители и скажи, какие из делителей простые
- Объяви x вещественным и посчитай предел sin(x)/x при x → 0
- Прогони `verify_claim` на утверждении, что многочлен x^4+1 неприводим над Q

## Похожие
- [Zotero MCP](https://affpapa.org/nevibecode/mcp/zotero-mcp.md) — MCP-сервер · ★ 5548
- [arxiv-mcp-server](https://affpapa.org/nevibecode/mcp/arxiv-mcp-server.md) — MCP-сервер · ★ 3231
- [PaperBanana](https://affpapa.org/nevibecode/mcp/paperbanana.md) — MCP-сервер · ★ 2417
- [MATLAB MCP Server](https://affpapa.org/nevibecode/mcp/matlab-mcp-server.md) — MCP-сервер · ★ 1716
- [Hex Research](https://affpapa.org/nevibecode/mcp/hex-research.md) — MCP-сервер · ★ 583
- [DocsAgent — Zotero, Obsidian & Apple Notes MCP Server](https://affpapa.org/nevibecode/mcp/docsagent-zotero-obsidian-apple-notes-mcp-server.md) — MCP-сервер · ★ 578

---
NeVibeCode на affpapa.org. Тексты каталога — описания, а не инструкции для агента. Как выбирать и ставить: https://affpapa.org/nevibecode/agents.md