SkillFoxx
Telegram

ResiMind MCP

MCP-сервер точной алгебры: проверяет полиномиальные тождества, раскрывает выражения и запоминает проверенные правила

  • 292 ★ репозитория
  • Последний коммит
  • MIT
MCP-сервер

Расширенный доступ

Почему такой уровень

  • Запускает локальный процесс Python и разбирает ваши выражения собственным парсером, не исполняя их как код
  • Инструмент `learn_polynomial` меняет память правил в процессе, остальные четыре только читают
Все причины и проверки

1105216375-alt/resimindАвтор:1105216375-alt

Установка

Ручная установка

git clone https://github.com/1105216375-alt/resimind.git && cd resimind && git checkout v0.16.0 && python3.11 -m venv .venv && .venv/bin/python -m pip install '.[mcp]'

Нужен Python 3.11 или новее для MCP. Установка скачивает инструменты сборки.

Доступ и проверки

Как мы проверяем

Расширенный доступИнструмент запускает код или ходит в сеть, а внешние данные только читает.

  • Запускает локальный процесс Python и разбирает ваши выражения собственным парсером, не исполняя их как код
  • Инструмент `learn_polynomial` меняет память правил в процессе, остальные четыре только читают

Это чужой код. Посмотрите файлы в репозитории перед установкой.

Что делает

ResiMind отдает агенту пять локальных инструментов для работы с многочленами. Они работают через MCP по stdio, а те же вызовы доступны в консольном режиме с JSON-строками. Самим инструментам ключ модели не нужен, вычисления после установки идут офлайн. `verify_identity` сверяет коэффициенты двух выражений и при расхождении возвращает точное несовпадение, которое агент использует для исправления. `expand_polynomial` раскрывает длинное выражение в разреженный список членов с точными числителями и знаменателями в виде десятичных строк. `learn_polynomial` решает пример и пытается извлечь из него правило, а `recall_polynomial` применяет уже принятое правило без модели. `list_rules` показывает накопленные правила и их происхождение. В репозитории есть и скилл `verify-and-repair-algebra`. Он учит агента проверять шаги вывода по порядку, называть первый отклоненный шаг и пробовать не больше трех исправлений. Результат `verified` означает, что коэффициенты сошлись точно, но это не доказательство в Lean.

Для кого. Для тех, кто просит Claude Code, Cursor или Claude Desktop выводить формулы и раскрывать скобки и хочет получать итог с точной проверкой коэффициентов.

Подходит, если

  • Агент раскрыл `(x+1)**2` в `x**2+1`, и нужно поймать ошибку: `verify_identity` вернет несовпадение коэффициентов
  • Длинное произведение многочленов надо раскрыть точно, без округлений: `expand_polynomial` отдает члены с числителем и знаменателем строками
  • Вывод в несколько шагов проверяется шаг за шагом, и нужно найти первый ошибочный
  • Одинаковые разложения повторяются в задачах: `learn_polynomial` может сохранить правило для сессии, а результат проверяют по `learning.new_rule_ids`
  • Вы проверяете интеграцию и хотите увидеть, как сервер отклоняет неверное тождество, принимает исправление и применяет выученное правило

Не подходит, если

  • Нужен матанализ, функции или переменная в знаменателе: сервер принимает только целочисленные литералы, скобки, сложение, вычитание, умножение, неотрицательные степени и деление на ненулевую целую константу
  • Требуется формальное доказательство теоремы: точная проверка коэффициентов и доказательство в Lean дают разные виды гарантий, а Lean сервер не запускает
  • Память правил должна пережить перезапуск: в MCP-режиме она живет только в процессе, сохранение доступно из Python через адаптер `lifelong`
  • Выражение превышает пределы: 8192 символа, 16 переменных, степень 32 или 4096 членов
  • Вам нужен проверенный на реальных задачах продукт: версия 0.16.0 помечена как экспериментальная

Пример запроса к агенту

Раскрой `(2*x+3*y)**3` через ResiMind и проверь, что мое разложение `8*x**3+36*x**2*y+54*x*y**2+27*y**3` верное

MCP

Транспорт
stdio
Авторизация
не нужна

Ограничения

Сервер работает с многочленами над рациональными коэффициентами в пределах заданного размера. Статус `unresolved` означает неподдержанную операцию, превышение лимита или отсутствие подходящего правила, но не опровержение тождества.

Совпадение коэффициентов не означает, что новое правило выучено: проверяйте `learning.new_rule_ids`. Для постоянного хранения есть отдельный Python-интерфейс.

Для MCP нужен Python 3.11 или новее, лицензия MIT. Выражения и ответы видит агент, поэтому локальные вычисления не делают весь диалог офлайн. Интеграции с моделями и демонстрации Lean, планирования и поддержки клиентов не входят в пять MCP-инструментов.

Как отключить. Удалите блок `resimind` из `mcpServers` в конфигурации клиента и перезапустите его. Сервер не меняет настройки клиента и не поднимает HTTP-сервис, так что дальше можно удалить папку клона вместе с виртуальным окружением `.venv`.

Частые вопросы

Как подключить ResiMind к Claude Code?

Поставьте пакет из клона репозитория командой `python -m pip install '.[mcp]'` в окружении Python 3.11 и добавьте сервер с командой из `.venv` и аргументами `-m resimind mcp`. Запуск вручную ничего не покажет, потому что stdio-сервер ждет сообщений протокола.

Что значат статусы `verified`, `rejected` и `unresolved`?

`verified`: равенство или раскрытие прошло точную проверку коэффициентов. `rejected`: у выражений разные коэффициенты, утверждение ложно. `unresolved`: операция не поддерживается или исчерпаны пределы, но это не опровержение.

Нужен ли ключ модели или интернет?

Нет. Ключ модели не требуется, инструменты работают офлайн. Сеть нужна только при установке. Счетчик `model_calls` в ответе показывает, что вызовов модели нет.

Как включить обучение правилам?

Вызовите `learn_polynomial` на двух совместимых примерах, например `(a+b)**3` и `(u+v)**3`. Если схемы совпали, в поле `learning.new_rule_ids` появится идентификатор правила, а `recall_polynomial` применит его к `(2*x+3*y)**3`.

Можно ли сохранить выученные правила между сессиями?

Нет, в MCP-режиме память живет в процессе и очищается при перезапуске. Сохранение и загрузка есть в Python-интерфейсе адаптера `lifelong`, а повторную проверку правил ядро выполняет при загрузке.

Обсуждение

Вопросов и отзывов пока нет.

MCP-серверы

MCP-сервер и CLI, где детерминированные инструменты проверяют каждое утверждение агента о коде и бинарниках по фактам

MCP-серверРасширенный доступ1,3 тыс.
Официальный

Локальный граф знаний о коде с историей версий: MCP-сервер отвечает агенту, кто вызывает функцию и что сломается от правки

MCP-серверРасширенный доступ516

Один MCP-сервер дает агенту карту кода на более 300 языков, историю git, общую память и поиск по документам с OCR.

MCP-серверРасширенный доступ119

Roslyn CodeLens MCP дает агенту карту решения .NET: вызовы, типы, DI, диагностики и безопасное переименование

MCP-серверРасширенный доступ74

MCP-сервер, который строит граф кода: функции, классы, вызовы и маршруты, и отвечает на структурные запросы агента локально

MCP-серверРасширенный доступ48,6 тыс.
Официальный

MCP-сервер CodeAlive: агент ищет по смыслу и точно в больших кодовых базах и разбирает связи вызовов, не читая репозиторий целиком

MCP-серверРасширенный доступ91

Из блога

Коротко о README

Релиз `v0.16.0` содержит исходники, wheel и пакет MCPB. Вне MCP доступен интерфейс JSON Lines через `python -m resimind api` из установленного окружения. Это другой протокол, и подключать его как JSON-RPC-сервер нельзя.

Бейдж для README

Сообщить о проблеме