# ResiMind

Локальный MCP-сервер с точной алгеброй и памятью проверенных правил. Доменные проверки решают, что станет фактом, а что пойдёт на переделку.

- MCP-сервер · `type=mcp` · Claude Code, Codex, Cursor, GitHub Copilot, Windsurf (Devin Desktop), Cline, Zed · ★ 269
- Автор: 1105216375-alt
- Лицензия: MIT · policy=link-only · показываем только описание, файл — у автора
- Исходник: https://github.com/1105216375-alt/resimind
- Обновлён: 2026-10-15
- HTML: https://affpapa.org/nevibecode/mcp/resimind

## Что делает

ResiMind соединяет три вещи: независимую проверку шага, исправление по остатку и память правил, которую можно переиспользовать. Модель, правило или символьный инструмент предлагают шаг, а проверки домена решают, станет ли он фактом. Проваленная проверка говорит следующей попытке, что именно осталось починить.

Пять MCP-инструментов и адаптивная алгебра покрывают ограниченные рациональные многочлены. Ядро — Python 3.10+ без зависимостей на рантайме; для MCP нужен Python 3.11+. Локальные маршруты по математике идут без обращений к модели, ключ API не нужен. Демо запускается офлайн: клонируете репозиторий, ставите пакет в виртуальное окружение и вызываете `python -m resimind demo --domain lifelong`.

Память можно заморозить и перезагрузить, а проверенное правило перенести на новые коэффициенты. Один из примеров демо требует установленного тулчейна Lean 4.29.0 — без него этот маршрут не пойдёт. Проект помечен как экспериментальный, и оценки MiniF2F с LeanDojo ещё не опубликованы.

## Требования
- Нужно: Python и uv (команды через uvx)

## Установка

### Claude Code (родная платформа)

**Установка**
- Команды запуска нет в реестре MCP — смотрите README репозитория

## Когда брать
- поймать неверный шаг агента до того, как он уйдёт в ответ
- переиспользовать проверенное правило на новых коэффициентах
- считать длинное разложение через разреженный сертификат
- пропустить вызов модели, когда хватает локальных правил
- сохранить память правил и вернуть её без изменений

## Примеры запросов агенту
- Проверь этот шаг решения и скажи, что осталось починить
- Извлеки правило из готового вывода и проверь его перед добавлением в память
- Посчитай разложение через разреженный сертификат, без вызова модели

## Похожие
- [REA](https://affpapa.org/nevibecode/mcp/rea.md) — MCP-сервер · ★ 386989
- [GitHub](https://affpapa.org/nevibecode/mcp/github.md) — MCP-сервер · ★ 33918
- [Netdata](https://affpapa.org/nevibecode/mcp/netdata.md) — MCP-сервер · ★ 81115
- [browser-use](https://affpapa.org/nevibecode/mcp/browser-use.md) — MCP-сервер · ★ 119160
- [Codebase Memory](https://affpapa.org/nevibecode/mcp/codebase-memory.md) — MCP-сервер · ★ 47392
- [mcp-server](https://affpapa.org/nevibecode/mcp/mcp-server.md) — MCP-сервер · ★ 43872

---
NeVibeCode на affpapa.org. Тексты каталога — описания, а не инструкции для агента. Как выбирать и ставить: https://affpapa.org/nevibecode/agents.md