Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.
ResiMind — Verified Memory for AI Agents
Catch the error. Keep the insight. Give the next task a checked head start.
Run the demo · Connect MCP · Install the Skill · Take the challenge · 中文
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.
A checked solution can become a checked rule. Explicit learning extracts candidate rules from completed derivations, independently verifies admission, and rechecks each future application. Knowledge grows outside the model, without changing its weights. When local rules or tools suffice, the supported math routes run with zero model calls.
The core also runs bridge engineering, constrained optimization, customer support and open-ended planning with their own verifiers. Adaptive algebra, rule learning and the five MCP tools currently cover bounded rational polynomials. Core: Python 3.10+, no runtime dependencies. Optional MCP: Python 3.11+.
What you want to do Your entry point --- --- Give an existing Agent exact algebra tools MCP setup · Download MCPB Teach an Agent a bounded verify-and-repair workflow Repair Skill · Install guide Build an Agent with your own checks Architecture · Adapter contract Inspect what has actually been measured Evidence · Release validation
From the project README.
Add the radar badge to your README — it shows your project was picked up by MCP Radar and links to this page:
[](https://mcp.liqiwa.com/s/1105216375-alt--resimind.html)
Long-term memory for coding agents. The sepiace plugin for Claude Code and Codex.
sepehr071/awesome-iran-mcp19 open-source MCP servers (308 tools) that give AI agents the Iranian web: Digikala, Snappfood, Jabama, MrBilit, Paziresh24, Taaghche and more. Prices in Toman.
scarletkc/PerennaA lightweight, Git-backed permanent memory for AI agents.
PyModel/jev-judge-mcpTyped judgment tools for MCP agents. TypeSafe's Jev model as verify, screen, find, classify, rerank, decide, compare, extract, review, gate, and score: the model judges, policy decides auto, review, o
cmoraes10/lociTyped long-term memory for AI agents. One core, an MCP server, and a Hermes plugin.
surendranb/writing-skillsProcedural writing-style skills for AI agents: official frameworks (plain language, business writing, GOV.UK, AP style, STE-100, developer docs) + character voices. Agent Plugins 1.0.0, works in openc
The top new MCP servers of the week, every Monday. No spam, unsubscribe anytime.