Jacobian MCP
MCP-сервер с библиотекой типизированных математических операций: агент находит нужную, запускает ее и передает результат дальше
- 320 ★ репозитория
- Последний коммит
Расширенный доступ
Почему такой уровень
- Выполняет вычисления на Python в вашей системе и запускается через uvx или npx
- Команда setup правит конфигурацию выбранных агентов, но сначала показывает изменения
- Часть операций использует внешние программы Singular и QEPCAD, если вы их поставили
Установка
- Работает в
Ручная установка
npx jacobian@latest setupМастер находит агентов, показывает изменения и только потом пишет их. Нужны Node.js 20.17 или новее и uvx.
Доступ и проверки
Как мы проверяемРасширенный доступИнструмент запускает код или ходит в сеть, а внешние данные только читает.
- Выполняет вычисления на Python в вашей системе и запускается через uvx или npx
- Команда setup правит конфигурацию выбранных агентов, но сначала показывает изменения
- Часть операций использует внешние программы Singular и QEPCAD, если вы их поставили
Это чужой код. Посмотрите файлы в репозитории перед установкой.
Что делает
Jacobian дает агенту два инструмента. `math.find` ищет операцию по математической задаче или показывает точный контракт выбранной, а `math.run` выполняет ее и возвращает типизированный результат. Каждая операция решает одну узкую задачу и гарантирует одно проверяемое свойство результата. Точные ответы помечены как точные, а приближение и неполнота названы явно. Встроенная библиотека покрывает алгебру, точную линейную алгебру и графы, а также задачи SAT и SMT с заданной границей. Отдельные операции относятся к вероятности, геометрии и топологии. Вычисления идут на SymPy, NetworkX, Z3 и Python-FLINT, которые ставятся вместе с пакетом. Ту же библиотеку можно вызвать из терминала командами `jacobian inspect` и `jacobian run`, а также из Python.
Для кого. Для исследователей, студентов и инженеров, которые решают задачи по математике и доказательствам вместе с агентом и хотят точных вычислений вместо подсчета в уме.
Подходит, если
- Агенту нужно точно вычислить определитель матрицы с рациональными элементами или найти НОД с коэффициентами Безу
- Нужно проверить гипотезу на небольших случаях через SAT или SMT с заданной границей
- Задача сводится к графу: найти путь, раскраску или проверить изоморфизм двух графов
- Вы строите решение из мелких проверяемых шагов и хотите, чтобы агент сам составлял их из операций
- Нужен тот же набор вычислений в терминале и в скрипте на Python
Не подходит, если
- Нужен один крупный решатель целой предметной области: библиотека дает узкие примитивы и не прячет в себе готовую стратегию
- Нужна стабильность интерфейса: контракты экспериментальных операций меняются между релизами
- Работаете на Alpine или другой системе с musl: полный обязательный набор пакетов из PyPI там не ставится
Пример запроса к агенту
Подключи Jacobian и найди через math.find операцию для расширенного алгоритма Евклида, затем посчитай НОД чисел 84 и 30 с коэффициентами БезуMCP
- Транспорт
- stdio
- Авторизация
- не нужна
Ограничения
Сервер находится в предстабильной версии 0.23.0, контракты экспериментальных операций могут меняться между релизами. Тестами покрыты CPython 3.12 и 3.13 на Linux с glibc для x86-64. На других системах пакеты могут встать, однако тестов для них нет. Небольшой части операций нужны Singular и QEPCAD, сами они не устанавливаются. Команда `npx jacobian@latest setup` требует Node.js 20.17, 22.13 или 23.5 и новее, а также uvx в PATH. Для удаленного запуска по HTTP с аутентификацией есть отдельное руководство.
Как отключить. Удалите запись jacobian из конфигурации MCP вашего агента. Если ставили через setup, откройте команду повторно и снимите выбор агента. Пакет из pip удаляется командой pip uninstall jacobian.
Частые вопросы
Как подключить Jacobian к Codex или Claude Code?
Выполните npx jacobian@latest setup и выберите найденных агентов. Перед записью команда показывает изменения. Для автоматизации есть флаги вроде --codex и --dry-run, а --yes работает только с явным списком агентов.
Как запустить сервер без глобальной установки?
Командой uvx --python 3.12 --from jacobian jacobian-mcp. Если клиенту нужна npm-команда, подойдет npx jacobian mcp, она запускает ту же команду uvx.
Чем math.find отличается от math.run?
math.find подбирает операцию под математическую задачу или показывает контракт выбранной. math.run запускает ее с входными данными в нужной форме и возвращает типизированный результат.
Нужен ли Docker для работы?
Для обычных операций нет: пакет и его вычислительные библиотеки ставятся через pip или uvx.
Чем Jacobian отличается от MATLAB Agentic Toolkit?
Тулкит MathWorks подключает агента к MATLAB. Jacobian ставит собственную библиотеку узких операций на Python и не требует лицензии на вычислительную среду.
Обсуждение
Вопросов и отзывов пока нет.
Похожие
MCP-серверыMCP-сервер глобальной аналитики: новости, геополитические риски, рынки и инфраструктура как инструменты для агента
166 скиллов для научных задач: биоинформатика, хемоинформатика, клинические данные, геоданные и доступ к более чем 100 базам
Скилл Streamlit
developing-with-streamlit
Официальный скилл Streamlit, встроенный в библиотеку: создание, стилизация, отладка и ускорение приложений, ставится командой streamlit skills
Открытый MCP-сервер Google для баз данных: готовые инструменты для Postgres, MySQL, BigQuery, Spanner и других, плюс свои инструменты в tools.yaml
Официальные скиллы Hugging Face: работа с Hub через CLI hf, датасеты, обучение моделей, Spaces, оценка и деплой
CLI для дообучения языковых моделей из одного YAML: LoRA, QLoRA, DPO и GRPO, потоковая загрузка слоев для 8B на видеокарте в 4 ГБ, выгрузка в GGUF
Коротко о README
Автор исходит из гипотезы, что математическим рассуждениям помогает исполняемый словарь узких операций, которые агент сам ищет и собирает в решение. Библиотека отдает проверенные ходы, а модель решает, какие делать и когда остановиться. В репозитории есть подробная документация, тесты и бенчмарки на задачах с гипотезами.