Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits
AlphaUncommon

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.

Owner
1105216375-alt (personal account)
Stars
Stars: 292
Forks
Forks: 1
Language
Python
License
MIT
Created
2026
Topics
ai-agentsmathematicsneuro-symbolicreasoningverificationresidual-reasoningstructural-engineeringcustomer-supportplanningknowledge-growth
Tier
Alpha (250 to 699 ★) What this tier means
View on GitHub

Nearby in Python

All Python repos