codecalc — MCP-сервер для Claude Code: что делает и как установить
Локальный инструмент для ИИ-агентов, который вычисляет символьную математику, решает логику в SMT и запускает код на 31 языке. Помогает агентам проверять факты вместо догадок.
claude mcp add codecalc -- uvx codecalcЧто делает codecalc
MCP-сервер добавляет агенту 51 рабочий инструмент. Модель перестаёт угадывать вычисления вслепую и запускает задачи прямо на машине разработчика: считает формулы с точными дробями, замеряет алгоритмическую сложность и обращается к солверу Z3. Система поддерживает 31 язык программирования.
Внутри предусмотрена строгая валидация. Инструменты вроде verify_translation и verify_optimization сопоставляют поведение программ после переноса на другой стек или рефакторинга. По умолчанию вызовы изолированы лимитами rlimit, а под Linux и Windows можно включить жёсткие границы через Docker с gVisor или AppContainer.
Сервер спроектирован под локального пользователя через stdio: для облачных многопользовательских окружений он не рассчитан.
Какие задачи решает
- проверить корректность оптимизации кода через
verify_optimization - доказать математическое равенство или решить логическую задачу в Z3
- запустить и протестировать скрипт на одном из 31 языка без выхода в сеть
- оценить алгоритмическую сложность фрагмента через
analyze_complexity
Примеры запросов агенту
- Проверь, даёт ли оптимизированная функция в
math_utils.pyточно такой же результат, как оригинал - Найди решение логических ограничений в этой задаче через
z3_check - Вычисли точное символьное значение этого интеграла
Как установить codecalc
Командой платформы
claude mcp add codecalc -- uvx codecalcuvx запускает команду с именем пакета; если в README она другая — uvx --from codecalc <команда>
Командой платформы
codex mcp add codecalc -- uvx codecalcuvx запускает команду с именем пакета; если в README она другая — uvx --from codecalc <команда>
Файл настроек
{
"mcpServers": {
"codecalc": {
"command": "uvx",
"args": [
"codecalc"
]
}
}
}uvx запускает команду с именем пакета; если в README она другая — uvx --from codecalc <команда>
Файл настроек
{
"servers": {
"codecalc": {
"type": "stdio",
"command": "uvx",
"args": [
"codecalc"
]
}
}
}uvx запускает команду с именем пакета; если в README она другая — uvx --from codecalc <команда>
Командой платформы
gemini mcp add codecalc uvx codecalcuvx запускает команду с именем пакета; если в README она другая — uvx --from codecalc <команда>
По шагам, с командами для каждой платформы: Как подключить MCP-сервер: Claude Code, Codex, Cursor, VS Code, Gemini CLI и другие
Вопросы о codecalc
Как установить codecalc в Claude Code?
Выполните в терминале команду claude mcp add codecalc -- uvx codecalc. Также можно запустить встроенный мастер настройки через uvx 'codecalc[full]' setup --write.
Что делает codecalc?
Сервер предоставляет 51 инструмент для запуска кода на 31 языке, точных символьных расчётов, анализа вычислительной сложности и формальной верификации логики.
Требуется ли подключение к интернету для работы codecalc?
Ядро сервера работает полностью автономно и не передаёт телеметрию. Доступ к сети требуется только точечно, например для внешней загрузки грамматик или установки пакетов.
