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.
Why this job: topics: mcp-server, model-context-protocol, mcp
What it does
ResiMind is an open-source neuro-symbolic Agent architecture that connects independent verification, residual-guided self-correction and reusable rule memory. Your model, rules or symbolic tools propose a step; domain checks decide what becomes a fact. Failed checks tell the next attempt what still needs fixing.
Get started
No single install command. Read the steps in the README (opens in new tab)
- Maintenance
- Active
- Last commit 25 days ago
- Stars
- 292
- +1 this week
- Licence
- MIT
- Allows business use
- Downloads for
- None listed
- No release files
- Latest version
- v0.16.0
- Released 26 days ago
- Built with
- Python
- 100% of the code
Is it looked after?
- Contributors
- 1
- Last 90 days
- Issues
- None
- No issues filed
- Pull requests
- 0 merged
- 0 waiting
- Releases
- 15
- 15 in the last year
- Contributing guide (opens in new tab)
- Security policy (opens in new tab)
- No code of conduct
Similar repos
| Repo | Stars | Last commit | Licence | Downloads for |
|---|---|---|---|---|
| oOo0oOo / lean-lsp-mcp | 549 | 6 days ago | MIT | No downloads |
More: languages, topics and project record
Languages
- Python 100%
- JavaScript <1%
Topics
- ai-agents
- mathematics
- neuro-symbolic
- reasoning
- verification
- residual-reasoning
- structural-engineering
- customer-support
- planning
- knowledge-growth
- symbolic-reasoning
- agent-memory
Project record
- JobMCP servers
- StatusListed
- Commits56
- Forks0
- Watching0
- Stars in 28 days+220
- CreatedOct 8, 2026
- First seen by usNov 7, 2026
- CheckedNov 9, 2026