Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.
Open-source, self-hosted AI customer service platform built around ReAct agents. Agents retrieve knowledge, call tools, and prepare actions; humans confirm high-impact writes such as ticket creation. Apache-2.0, Postgres-only.