Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.
Setup
This project documents no single launch command; follow its repository instructions.
ResiMind
1105216375-alt
Related
More- VVerifiable Document Intelligence for A.I. agentssawftware-appsOfficialDocument memory agents can prove — SDK for tamper-evident evidence bundles, citations, and on-chain attestationKnowledge & MemoryRemote only1 Repository stars
- SSui Knowledge Base (kapa.ai)jessiemongeon1Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming languageKnowledge & MemoryRemote only7.8k Repository stars
- HHonchoplastic-labsMemory library for building stateful agentsKnowledge & MemoryRemote only7.7k Repository stars
- Mmcpbutterbase-aiButterbase MCP server — manage your backend: schemas, auth, functions, storage, RAG, deploys.Knowledge & MemoryLocal + remote3k Repository stars
- MMemantomoorcheh-aiMCP server for Memanto - persistent semantic memory for any MCP-compatible agentKnowledge & Memory2.3k Repository stars
- LllmwikiatomicstrataThe knowledge compiler. Raw sources in, interlinked wiki out. Inspired by Karpathy's LLM Wiki pattern.Knowledge & Memory2.2k Repository stars