TrendingRisingGemsRadarToolboxKitsNewsCategoriesAbout

Repository

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.

Open source Research & science PythonMIT

Stars

193

Today

+16

last 24 hours

This week

+20

Forks

0

Clone

git clone https://github.com/1105216375-alt/resimind.git

Star growth

2026-10-18: +202026-10-19: +16 (today so far)2026-10-18todaymax +20/day
Stars gained per day since 2026-10-18; the lighter bar is today so far.
#ai-agents#mathematics#neuro-symbolic#reasoning#verification#residual-reasoning#structural-engineering#customer-support#planning#knowledge-growth
Created
2026-10-08
Last commit
2026-10-15
Gained since tracking
+20

Similar in Research & science

Updated Mon, 19 Oct 2026 05:00:16 GMT · description from the project itself