ResiMind — MCP-сервер для Claude Code: проверка шагов и память правил
Локальный MCP-сервер с точной алгеброй и памятью проверенных правил. Доменные проверки решают, что станет фактом, а что пойдёт на переделку.
Открыть на GitHubЧто делает ResiMind
ResiMind соединяет три вещи: независимую проверку шага, исправление по остатку и память правил, которую можно переиспользовать. Модель, правило или символьный инструмент предлагают шаг, а проверки домена решают, станет ли он фактом. Проваленная проверка говорит следующей попытке, что именно осталось починить.
Пять MCP-инструментов и адаптивная алгебра покрывают ограниченные рациональные многочлены. Ядро — Python 3.10+ без зависимостей на рантайме; для MCP нужен Python 3.11+. Локальные маршруты по математике идут без обращений к модели, ключ API не нужен. Демо запускается офлайн: клонируете репозиторий, ставите пакет в виртуальное окружение и вызываете python -m resimind demo --domain lifelong.
Память можно заморозить и перезагрузить, а проверенное правило перенести на новые коэффициенты. Один из примеров демо требует установленного тулчейна Lean 4.29.0 — без него этот маршрут не пойдёт. Проект помечен как экспериментальный, и оценки MiniF2F с LeanDojo ещё не опубликованы.
Какие задачи решает
- поймать неверный шаг агента до того, как он уйдёт в ответ
- переиспользовать проверенное правило на новых коэффициентах
- считать длинное разложение через разреженный сертификат
- пропустить вызов модели, когда хватает локальных правил
- сохранить память правил и вернуть её без изменений
Примеры запросов агенту
- Проверь этот шаг решения и скажи, что осталось починить
- Извлеки правило из готового вывода и проверь его перед добавлением в память
- Посчитай разложение через разреженный сертификат, без вызова модели
Как установить ResiMind
Установка
Команды запуска нет в реестре MCP — смотрите README репозитория
По шагам, с командами для каждой платформы: Как подключить MCP-сервер: Claude Code, Codex, Cursor, VS Code, Gemini CLI и другие
Вопросы о ResiMind
Как установить ResiMind в Claude Code?
Клонируйте репозиторий, создайте окружение командой python -m venv .venv, активируйте его, затем выполните python -m pip install .. В Windows PowerShell активация идёт через .venv\Scripts\Activate.ps1.
Что делает ResiMind?
Проверяет предложенные агентом шаги доменными проверками, исправляет их по остатку и складывает удачные выводы в память правил. Правило из памяти перепроверяется при каждом новом применении.
Нужен ли ключ API для работы?
Нет. Демо и локальные математические маршруты идут офлайн, без обращений к модели. Для MCP-части нужен Python 3.11+.
