1105216375-alt /resimind
Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.
- Stars
- 294 stars
- Forks
- 1 forks
- Language
- Python
- License
- MIT
- Created
- Oct 8, 2026
- Last push
- Oct 15, 2026
- Updated
- Oct 30, 2026
- ai-agents
- mathematics
- neuro-symbolic
- reasoning
- verification
- residual-reasoning
- structural-engineering
- customer-support
- planning
- knowledge-growth
- symbolic-reasoning
- agent-memory
- knowledge-reuse
- llm-agents
- self-correction
- lean4
- mcp
- mcp-server
- model-context-protocol
- agent-skills
Admitted to the Repository Index on Oct 23, 2026: +112 stars in 7 days.
Star History
28 days recorded, Oct 7, 2026 – Nov 3, 2026 (UTC). Net change +320 stars.
The star count of each day is the latest count less the net stars of the later days.
Add this Star History to a README
The images follow the light or dark theme of the page that shows them, and update every hour. Add ?theme=light or ?theme=darkto the chart address to keep one theme.
Star History chart
[](https://awesomerepos.com/1105216375-alt/resimind)Badge
[](https://awesomerepos.com/1105216375-alt/resimind)Timeline
This repository got 24 stars on Oct 16, 2026, its largest day since it was created on Oct 8, 2026.
It gained stars on 22 of the 28 days with a record.
Its largest 7 days were Oct 11, 2026 to Oct 17, 2026: 133 stars.
It reached 100 stars on Oct 15, 2026, 7 days after it was created.
- Created on the Repository Host
- +21 stars in one day
- Reached 100 stars
- Latest push
- Largest star day recorded: +24 stars
- Entered the Repository Index: +112 stars in 7 days
- +22 stars in one day
From the Repository Host's creation date and releases, the Admission, the Star History, and the Observations. Star milestones show only when the Star History records the day. On the chart of net stars each day, a solid line marks a release.
Forks and pushes
From 11 Observations, Oct 24, 2026 – Nov 3, 2026. Forks +1. A new push was seen on 0 of 10 days.
- Oct 25, 2026: no new push
- Oct 26, 2026: no new push
- Oct 27, 2026: no new push
- Oct 28, 2026: no new push
- Oct 29, 2026: no new push
- Oct 30, 2026: no new push
- Oct 31, 2026: no new push
- Nov 1, 2026: no new push
- Nov 2, 2026: no new push
- Nov 3, 2026: no new push
A filled day: the last push time changed since the Observation before it.
Observations
What the Repository Host reported each day.
| Day (UTC) | Stars | Forks | Last push | Archived |
|---|---|---|---|---|
| Nov 3, 2026 | 294 | 1 | Oct 15, 2026 | No |
| Nov 2, 2026 | 294 | 1 | Oct 15, 2026 | No |
| Nov 1, 2026 | 294 | 1 | Oct 15, 2026 | No |
| Oct 31, 2026 | 294 | 1 | Oct 15, 2026 | No |
| Oct 30, 2026 | 293 | 1 | Oct 15, 2026 | No |
| Oct 29, 2026 | 293 | 0 | Oct 15, 2026 | No |
| Oct 28, 2026 | 293 | 0 | Oct 15, 2026 | No |
| Oct 27, 2026 | 292 | 0 | Oct 15, 2026 | No |
| Oct 26, 2026 | 292 | 0 | Oct 15, 2026 | No |
| Oct 25, 2026 | 275 | 0 | Oct 15, 2026 | No |
| Oct 24, 2026 | 258 | 0 | Oct 15, 2026 | No |