Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.
接入配置
该项目没有提供统一的启动命令，请按源码仓库的说明安装。
相关推荐
更多- VVerifiable Document Intelligence for A.I. agentssawftware-apps官方Document memory agents can prove — SDK for tamper-evident evidence bundles, citations, and on-chain attestation知识库与记忆仅远程1 仓库星标
- 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 language知识库与记忆仅远程7.8k 仓库星标
- HHonchoplastic-labsMemory library for building stateful agents知识库与记忆仅远程7.7k 仓库星标
- Mmcpbutterbase-aiButterbase MCP server — manage your backend: schemas, auth, functions, storage, RAG, deploys.知识库与记忆本地 + 远程3k 仓库星标
- MMemantomoorcheh-aiMCP server for Memanto - persistent semantic memory for any MCP-compatible agent知识库与记忆2.3k 仓库星标
- LllmwikiatomicstrataThe knowledge compiler. Raw sources in, interlinked wiki out. Inspired by Karpathy's LLM Wiki pattern.知识库与记忆2.2k 仓库星标