its-over-9k
★ 0
vs
chiasmus
★ 218
its-over-9k vs chiasmus
its-over-9k：Its-Over-9k是一个AI记忆框架，为AI智能体提供跨会话、跨设备的持久、可移植、令牌高效的知识。它采用分层5级懒加载系统和钩子自动捕获会话交流并生成检查点，使智能体无需重新读取代码库即可继续工作。；chiasmus：Chiasmus 是一个 MCP 服务器，集成了形式化验证（Z3、Prolog）和代码分析（tree-sitter），用于解决复杂的逻辑和结构问题。它通过模板将自然语言转化为形式逻辑，并提供经过验证的结果。它还能分析源代码调用图，进行死代码、影响和可达性分析。
01
简评
its-over-9kMemory & Context · ★ 0
跨AI会话持久化项目上下文，无需重复读取代码
chiasmusDev Tooling · ★ 218
检测访问控制规则中的冲突
02
并排对比
03
功能特性
its-over-9k01自动会话记忆 - 每个对话自动记录，跨会话和设备
02海魁后台检查点 - 每N轮交换自动提取教训和决策
03基于项目组织 - 记忆绑定到项目，而非会话
04技能系统 - 按需加载的结构化行为文件
05可嵌入式SDK - 在自己的智能体和工具中使用HmemStore
chiasmus01通过 Z3 SMT 求解器和 Tau Prolog 进行形式化验证
02基于 tree-sitter 的源代码分析
03基于模板的问题形式化
04端到端求解管道
05自定义语言适配器
04
使用场景
its-over-9k↳跨AI会话持久化项目上下文，无需重复读取代码
↳使用加密同步在多个设备间同步记忆
↳在团队智能体和工具间共享公司记忆
chiasmus↳检测访问控制规则中的冲突
↳查找死代码并执行影响分析
↳验证软件不变量和状态机
FAQ
常见问题
its-over-9k 和 chiasmus 有什么区别？
its-over-9k 和 chiasmus 都属于 Memory & Context 类别。its-over-9k 有 0 Stars，chiasmus 有 218 Stars。
its-over-9k 和 chiasmus 哪个更好？
最佳选择取决于你的具体需求。跨AI会话持久化项目上下文，无需重复读取代码 时选 its-over-9k，检测访问控制规则中的冲突 时选 chiasmus。
its-over-9k 是免费的吗？
是的，its-over-9k 在 GitHub 开源（MIT）。
chiasmus 是免费的吗？
是的，chiasmus 在 GitHub 开源（Apache-2.0）。
推荐云部署
Ad在 DigitalOcean 上一键部署
为你的 MCP 服务、Docker 容器与智能体提供即开即用云服务器，新用户立享 $200 免费额度（60天有效）。
→