1105216375-alt/resimind
- Всего звёзд
- 97
- Сегодня · UTC
- +3с 00:37 UTC
Другие действия
Neuro-symbolic agents that verify, remember, and reuse. Learn checked rules without model retraining. Compact math, residual-guided recovery, verified memory, and optional Lean proofs.
Сохрани в «Мои находки», чтобы следить за релизами и ростом звёзд. Сохраняется в этом браузере.
О проекте
Нейро-символическая архитектура агентов на Python: проверяет шаги решения, сохраняет подтверждённые правила в память и переиспользует их без переобучения модели. Остаток (residual) показывает, что ещё не решено, и направляет следующую попытку.
Чем пригодится
- Запустить офлайн-демо восстановления после неверного шага и переиспользования правила
- Проверить вывод равенств через опциональный Lean 4 backend
- Собрать свой домен на общем ядре агента со своими проверками
Пересказ README моделью DeepSeek V4.1 Flash. Может ошибаться в деталях. Оригинал README →
Рост звёзд выглядит естественно. Данные на 14 октября 2026, 02:14 UTC.
Оценка роста звёзд не подтверждает безопасность запуска.
Звёзды по дням
Столбики — звёзды за день UTC; линия — скользящее среднее доступной истории. Пропуски означают отсутствие данных, а не нулевой рост. Сегодняшний столбик неполный. Красным — дни всплесков.
Почему он в тренде
- По замерам счётчика за 2026-10-14 (UTC), 00:37–02:07: 94 → 97 звёзд (+3). Это прирост за указанный интервал.
- Расчётный прогноз на конец суток: около +19 звёзд; учитывает наблюдаемый прирост и предыдущий день.
- Репозиторию 6 дней, а у него уже 97 звёзд. Истории меньше двух недель, так что обычного темпа, с которым можно сравнить всплеск, у него ещё нет.
- Топ новых репозиториев за неделю: #184.
Замеры роста: последние 7 полных дней
Нет данных за все 7 дней: недельный итог и сравнение не рассчитываются.
Замеры по дням · UTC
- 7 октября 2026
- —
- 8 октября 2026
- 16
- 9 октября 2026
- 12
- 10 октября 2026
- 8
- 11 октября 2026
- 19
- 12 октября 2026
- 25
- 13 октября 2026
- 16
Максимальный измеренный день за последние 30 дней: 25 · 12 октября 2026. Дней с данными: 6.
Полные дни — из истории звёзд GitHub; сегодня и прогнозы исключены из сравнения. История проверена: 14 октября 2026, 02:13 UTC. Источники и ограничения замеров →
Три GitHub-находки в каждом выпуске
Что делают, почему набирают интерес и что проверить перед использованием.
Выпуски в 10:00, 16:00, 22:00 МСК.
Цифры
- Всего звёзд
- 97
- Сегодня
- +3 звезды по замерам 2026-10-14, 00:37–02:07 UTC, к вечеру ≈ 19
- Форков
- 0
- Issues и pull requests
- 0
- Наблюдателей
- 0
- Язык
- Python
- Лицензия
- MIT
- Последний релиз
- v0.13.0 · 13 октября 2026
- Создан
- 8 октября 2026
- Последний коммит
- 13 октября 2026
Доверие к звёздам
Рост выглядит естественно: форков и обсуждений столько, сколько бывает у живых проектов, а звёзды приходят неровно, как от людей.
Это эвристики, а не приговор: судим по поведению репозитория, а не по списку звездивших.
Где замечен
- 14 октября 2026Топ новых репозиториев за неделю: #184
Бейдж для README
Вставьте в README — бейдж сам показывает свежую магнитуду и ведёт на эту страницу.
[](https://gitnova.dev/r/1105216375-alt/resimind)