resimind

active

Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.

Code-only MCP server: no hosted endpoint, so you install and run it yourself. It is not probed, graded or counted in our reachability statistics.

Get it

Repository: github.com/1105216375-alt/resimind
License: MIT
Last update: 2026-10-15
GitHub stars: ★ 292

agent-memory agent-skills ai-agents customer-support knowledge-growth knowledge-reuse lean4 llm-agents mathematics mcp mcp-server model-context-protocol

Listed in

github · source

Run this server as a hosted endpoint? Submit the endpoint and it moves to the remote directory, where it is probed and graded.