Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.
↑ +6 today
1105216375-alt
1 tracked repository
☆ 119 TOTAL STARS
⑂ 0 TOTAL FORKS
↗ +1 STARS TODAY
★ Add Profile Badge to your GitHub README.md
Auto-UpdatingShowcase your total open-source impact. This SVG badge updates automatically as our continuous crawler records new stars.
[](https://githubrepo.cloud/developers/1105216375-alt)Repositories
Sorted by stars
From our network