Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.
mcp mathematics verification customer-support planning structural-engineering reasoning ai-agents self-correction neuro-symbolic symbolic-reasoning lean4 knowledge-reuse llm-agents model-context-protocol mcp-server agent-skills agent-memory knowledge-growth residual-reasoning
-
Updated
Oct 14, 2026 - Python