jacobian

English · 简体中文

Jacobian — это MCP-сервер, предоставляющий ИИ-агентам доступный для поиска словарь типизированных математических операций. math.find находит операцию, а math.run выполняет ровно один ограниченный математический контракт и возвращает его типизированный результат. Та же математическая библиотека доступна и через CLI, и через нативный Python API.

Каждая операция устанавливает одно стабильное, переиспользуемое математическое постусловие, а не предписывает рабочий процесс или стратегию доказательства. Результаты точны там, где заявлено, и явно указывают на приближение, неполноту или неопределённость.

Гипотеза Jacobian заключается в том, что математические рассуждения выигрывают от исполняемого словаря семантически ограниченных операций. Вместо того чтобы предоставлять крупные доменные решатели или заранее составленные рабочие процессы, Jacobian предоставляет математические примитивы, которые агенты могут искать и компоновать в решения, выходящие за рамки того, для чего была предназначена каждая отдельная операция. Библиотека поставляет надёжные математические ходы; модель рассуждений решает, какие ходы делать, как комбинировать их результаты и когда остановиться. Сохранение операций семантически узкими и принадлежащими домену сохраняет это пространство поиска, а не встраивает одну стратегию доказательства или рабочий процесс в сами инструменты.

См. Исполняемый математический словарь о том, что означает семантическая атомарность и как растёт словарь операций.

Быстрый старт

Запустите каноническую команду Python MCP без глобальной установки Jacobian:

uvx --from jacobian jacobian-mcp

Если MCP-хост требует команду npm, пакет npm является детерминированным носителем той же команды:

npx jacobian mcp

Для постоянной установки:

python -m pip install jacobian
jacobian-mcp

Этот пакет включает в себя точно тот же поддерживаемый стек Python-бэкенда Jacobian: SymPy, NetworkX, Z3 и Python-FLINT. Обычная установка Python или npm, таким образом, предоставляет тот же встроенный портфель операций на Python. Проверенный контракт бинарной установки — CPython 3.12 или 3.13 на glibc Linux x86-64; шлюз релиза устанавливает собранный wheel и запускает Jacobian на обеих версиях Python. В других системах могут быть совместимые вышестоящие wheel-пакеты, но они пока не входят в проверенный контракт релиза. В частности, Alpine/musl не может установить полный обязательный стек из PyPI.

Дистрибутив Python содержит математическое ядро, CLI и MCP-сервер. Пакет npm детерминированно сопоставляет точную версию пакета с соответствующим вызовом uvx.

Related MCP server: math-logic-mcp

Вычислить один ограниченный результат

Обычная операция в первую очередь возвращает математику. Например, matrix.determinant.compute принимает одну точную рациональную матрицу и напрямую возвращает её определитель. Вызывающие компонуют результаты, передавая свои типизированные значения последующей операции.

Доступная математика

Встроенный портфель охватывает работу в следующих областях:

• отображения многочленов и алгебра многочленов;

• точная линейная алгебра;

• графы, пути, раскраски и изоморфизм;

• ограниченное решение SAT и SMT;

• конечная алгебра, теория вероятностей, геометрия и топология; и

• обработка исходного кода Lean.

Операции SAT и SMT напрямую используют поддерживаемую привязку Z3 для Python. Дополнительная операция lean.check выполняет один ограниченный фрагмент исходного кода в фиксированной среде службы Lean, используя временный каталог с областью действия запроса и возвращая типизированную диагностику. Используйте math.find для поиска операции, изучения незнакомой области и проверки операции перед однократным вызовом math.run.

См. библиотеку доменных операций для поддерживаемого портфеля операций и требования к бэкенду.

Статус

Jacobian 0.12.0 находится на предварительной стадии. Опубликованные пакеты и контракты операций описывают поддерживаемую поверхность; экспериментальные контракты операций могут меняться между выпусками.

Документация

• Документация: учебные пособия, практические руководства, справочник и пояснения

• Архитектура: структура выполнения и границы доверия

• Модель продукта: контракты операций, владение и границы проекта

• Справочник по инструментам: ресурсы MCP и контракты вызова

• Требования к бэкенду: поддерживаемые Python-бэкенды и опциональный Lean

• Удалённое развёртывание: HTTP-развёртывание и аутентификация

Участие

Jacobian использует Python 3.12, uv и небольшой Makefile:

make setup
make test-math
make check

Прочтите CONTRIBUTING.md перед изменением кода. В нём описаны целевые тестовые команды, правила проверки, размещение документации и ожидания от запросов на включение.

Лицензия

MIT