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.
Updated 2 min ago
+2 stars gained this week
Stars gained each day, last 30 days
Oct 4Oct 19Today
This week Before
In short
ResiMind is an open-source Python agent architecture that verifies each step with domain checks and stores only checked rules for reuse. It targets developers building LLM agents that need auditable math and planning results.
Summary written by AI from the repository’s description and README.
What this repo contains
- Executables and archives
- 20 in the repo docs/evidence/chinatravel-development/development-v1.tar.xz, docs/evidence/chinatravel-development/development-v2.tar.xz, docs/evidence/chinatravel-pilot-v1/archives/h20241029143455115600.tar.xz, docs/evidence/chinatravel-pilot-v1/archives/h20241029143457494209.tar.xz, docs/evidence/chinatravel-pilot-v1/archives/h20241029143506461809.tar.xz, …
- Skills
- 1 SKILL.md file
- Files for
- Codex
- Its README
- Links a program to downloadAsks you to install software (npm -g, pip, brew…)Asks for an API key or a token
No scripts, hook files or MCP settings.
Read from the repository's files and README: facts to check on GitHub, not a review.
1105216375-alt / resimind
View on GitHub(opens in new tab)