# codecalc

Локальный инструмент для ИИ-агентов, который вычисляет символьную математику, решает логику в SMT и запускает код на 31 языке. Помогает агентам проверять факты вместо догадок.

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

## Что делает

MCP-сервер добавляет агенту 51 рабочий инструмент. Модель перестаёт угадывать вычисления вслепую и запускает задачи прямо на машине разработчика: считает формулы с точными дробями, замеряет алгоритмическую сложность и обращается к солверу Z3. Система поддерживает 31 язык программирования.

Внутри предусмотрена строгая валидация. Инструменты вроде `verify_translation` и `verify_optimization` сопоставляют поведение программ после переноса на другой стек или рефакторинга. По умолчанию вызовы изолированы лимитами `rlimit`, а под Linux и Windows можно включить жёсткие границы через Docker с gVisor или AppContainer.

Сервер спроектирован под локального пользователя через stdio: для облачных многопользовательских окружений он не рассчитан.

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

## Установка

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

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

### Codex

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

### Cursor

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

### GitHub Copilot

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

### Gemini CLI

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

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

## Примеры запросов агенту
- Проверь, даёт ли оптимизированная функция в `math_utils.py` точно такой же результат, как оригинал
- Найди решение логических ограничений в этой задаче через `z3_check`
- Вычисли точное символьное значение этого интеграла

## Похожие
- [REA](https://affpapa.org/nevibecode/mcp/rea.md) — MCP-сервер · ★ 392262
- [GitHub](https://affpapa.org/nevibecode/mcp/github.md) — MCP-сервер · ★ 33989
- [Netdata](https://affpapa.org/nevibecode/mcp/netdata.md) — MCP-сервер · ★ 81163
- [browser-use](https://affpapa.org/nevibecode/mcp/browser-use.md) — MCP-сервер · ★ 119231
- [Codebase Memory](https://affpapa.org/nevibecode/mcp/codebase-memory.md) — MCP-сервер · ★ 47577
- [mcp-server](https://affpapa.org/nevibecode/mcp/mcp-server.md) — MCP-сервер · ★ 43902

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