1105216375-alt/resimind
- Total stars
- 97
- Today · UTC
- +3since 00:37 UTC
More actions
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.
Save to My finds to follow releases and star growth. Saved in this browser.
About the project
A Python neuro-symbolic agent architecture that verifies reasoning steps, stores checked rules in memory, and reuses them without retraining the model. A residual tracks what remains unsolved and guides the next attempt.
Useful for
- Run the offline recovery demo that reuses a checked rule
- Verify generated equalities with the optional Lean 4 backend
- Build a custom domain on the shared agent core with own checks
README summarized by DeepSeek V4.1 Flash. Details may be inaccurate. Read the original README →
Star growth looks organic. Data as of October 14, 2026, 02:14 UTC.
The star-growth assessment does not verify whether the project is safe to run.
Stars per day
Bars show stars per UTC day; the line is a moving average of available history. Gaps mean missing data, not zero growth. Today's bar is incomplete. Red marks spike days.
Why it’s trending
- Star-counter measurements on 2026-10-14 (UTC), 00:37–02:07: 94 → 97 stars (+3). This is the change over that interval.
- Estimated end-of-day forecast: about +19 stars, using observed gains and the previous day.
- The repository is 6 days old and already has 97 stars. With less than two weeks of history, there's no usual pace to compare the spike against yet.
- Top new repositories this week: #184.
Measured growth: the last 7 completed days
The full 7-day window is unavailable; no weekly total or comparison is calculated.
Daily measurements · UTC
- October 7, 2026
- —
- October 8, 2026
- 16
- October 9, 2026
- 12
- October 10, 2026
- 8
- October 11, 2026
- 19
- October 12, 2026
- 25
- October 13, 2026
- 16
Largest measured day in the last 30 days: 25 · October 12, 2026. Days with data: 6.
Completed days come from GitHub star history; today and forecasts are excluded from this comparison. History checked: October 14, 2026, 02:13 UTC. Sources and measurement limits →
Three GitHub discoveries in each edition
What they do, why they are gaining interest, and what to check before using them.
Editions at 10:00, 16:00, 22:00 MSK.
Numbers
- Total stars
- 97
- Today
- +3 stars measured 2026-10-14, 00:37–02:07 UTC, ≈ 19 by evening
- Forks
- 0
- Issues and pull requests
- 0
- Watchers
- 0
- Language
- Python
- License
- MIT
- Latest release
- v0.13.0 · October 13, 2026
- Created
- October 8, 2026
- Last push
- October 13, 2026
Star trust
Growth looks organic: forks and discussion are in line with active projects, and stars arrive unevenly, the way people give them.
These are heuristics, not a verdict: we judge by the repository’s behavior, not by a list of stargazers.
Spotted in
- October 14, 2026Top new repositories this week: #184
README badge
Paste it into your README — the badge shows the current magnitude and links to this page.
[](https://gitnova.dev/en/r/1105216375-alt/resimind)