Doramagic.ai English

向量检索与 RAG · 开源项目

cozo

向量检索项目，用于验证 embedding 存储、查询语义、RAG 接入、数据边界和回滚路径。

向量数据库RAGEmbedding语义检索数据边界
最适合谁需要把知识库、文档或应用数据接入语义检索/RAG 流程的开发者。

判断自己是不是目标用户。

能做什么向量库接入检查、embedding 维度/模型边界、集合管理、查询验收和数据删除清单

查看可带走的能力路径。

继续前先用小样本公开文本验证建库、查询、删除和回滚，再接入真实数据。

未完成验证前保持审慎。

GitHub 快照4.0k 星标

154 分叉 · 21 贡献者

最后验证日期：2026-06-24 验证方法：来源证据、语义档案、公开页面门禁和静态构建验收。

官方quick start 阅读项目说明书 源仓库

快速判断 · 2026-06-24

cozo 项目 是什么？

01

一眼判断

先判断自己是否是目标用户，再决定是否继续。
最适合谁需要把知识库、文档或应用数据接入语义检索/RAG 流程的开发者。

判断自己是不是目标用户。

核心能力向量库接入检查、embedding 维度/模型边界、集合管理、查询验收和数据删除清单

不适合只需要一次模型 API 调用，或不能隔离索引数据、凭据和持久化目录的用户。

第一步验证先用小样本公开文本验证建库、查询、删除和回滚，再接入真实数据。

未完成验证前保持审慎。

02

它能做什么

把项目翻译成用户能判断的具体能力，而不是 Doramagic 的使用流程。
1

相关页面

继续阅读项目说明书确认具体能力边界。

能力

来源：https://github.com/cozodb/cozo、https://github.com/cozodb/cozo#readme、项目说明书、踩坑日志。这里只回答“它能帮我做什么”。

03

项目温度与外部声音

站点快照，非实时质量证明；用于开工前背景判断。
星标4.0k
分叉154
贡献者21
许可证未知
状态可发布

社区讨论

已收录 12 条来源

下面是已采集到的项目级社区讨论来源，来源平台：github。这些外部声音用于帮助判断真实使用反馈，不单独作为质量证明。

04

怎么开始使用

先试、再读项目说明书、再带给 AI，最后按官方quick start验证。
1

先试 Prompt

不安装项目，先体验能力节奏。

预览
2

读项目说明书

理解输入、输出、失败模式和边界。

说明书
3

带给 AI

把上下文交给你的宿主 AI 继续工作。

上下文
4

沙箱验证

进入主力环境前先完成安装入口与风险边界验证。

验证
Python / pip · 官方安装入口pip install pycozo

来源：https://github.com/cozodb/cozo#readme。验证：已通过。

05

项目说明书

每个项目结构不同，Doramagic 保留原项目解释结构，并补充边界与踩坑日志。

草稿 · 项目说明书

cozo 说明书

一款支持事务的关系型图向量数据库，使用 Datalog 进行查询，堪称 AI 的大脑！

打开完整说明书
  1. https://github.com/cozodb/cozo 项目说明书
  2. 目录
  3. 项目概览与系统架构
  4. 相关页面
  5. 项目简介与定位
  6. 整体系统架构
  7. 存储引擎抽象

06

带给 AI 的上下文包

决定继续后，把项目上下文带给你的宿主 AI。

标准项目包 + 用户可带走资产

这不是营销摘要。它是用户决定继续后，可交给 Claude Code、Codex、Gemini、Cursor 等宿主 AI 的开工前上下文。

下载完整包 阅读项目说明书
完整包完整项目包资产带给 AI 的上下文包资产边界与风险卡资产项目说明书资产踩坑日志资产安装前试用 Prompt资产官方quick start证据文件REPO_INSPECTION.json

07

继续前检查

在复制命令、导入 AI、安装插件前，看清还不能相信什么。
检查 1

不要把试用当真实运行

试用 Prompt 只展示流程，不证明项目已安装或运行。

检查 2

确认宿主兼容

本地 CLI

检查 3

先隔离验证

继续完成沙箱验证和证据复核

08

踩坑日志与复核重点

Doramagic 记录的高风险项优先显示，避免用户把候选能力当成已验证能力。
medium · 安装坑

来源证据：Destroying a DbInstance

GitHub 社区证据显示该项目存在一个安装相关的待验证问题：Destroying a DbInstance

可能增加新用户试用和生产接入成本。

medium · 安装坑

来源证据：`env_logger` should not be a dependency of `cozo-core`

GitHub 社区证据显示该项目存在一个安装相关的待验证问题：`env_logger` should not be a dependency of `cozo-core`

可能增加新用户试用和生产接入成本。

medium · 安装坑

来源证据：cargo update breaks due to newer rayon version

GitHub 社区证据显示该项目存在一个安装相关的待验证问题：cargo update breaks due to newer rayon version

可能增加新用户试用和生产接入成本。

medium · 能力坑

能力判断依赖假设

README / 文档足够支持第一次验证，但仍需继续核对。

假设不成立时，用户拿不到承诺的能力。

medium · 运行坑

来源证据：Benchmarks don't compile: missing ScriptMutability argument

GitHub 社区证据显示该项目存在一个运行相关的待验证问题：Benchmarks don't compile: missing ScriptMutability argument

可能增加新用户试用和生产接入成本。

medium · 运行坑

来源证据：Regression: newrocks feature does not compile correctly

GitHub 社区证据显示该项目存在一个运行相关的待验证问题：Regression: newrocks feature does not compile correctly

可能增加新用户试用和生产接入成本。

medium · 运行坑

来源证据：Sled backend: fix broken del() and implement time travel support

GitHub 社区证据显示该项目存在一个运行相关的待验证问题：Sled backend: fix broken del() and implement time travel support

可能增加新用户试用和生产接入成本。

medium · 运行坑

运行可能依赖外部服务

项目说明出现 external service/cloud/webhook/database 等运行依赖关键词。

本地安装成功不等于能力可用，外部服务不可用会阻断体验。

medium · 维护坑

维护活跃度未知

未记录 last_activity_observed。

新项目、停更项目和活跃项目会被混在一起，推荐信任度下降。

medium · 安全/权限坑

存在评分风险

缺少可复核演示

风险会影响是否适合普通用户安装。

medium · 安全/权限坑

来源证据：RUSTSEC-2024-0379 affects this crate

GitHub 社区证据显示该项目存在一个安全/权限相关的待验证问题：RUSTSEC-2024-0379 affects this crate

可能增加新用户试用和生产接入成本。

low · 维护坑

issue/PR 响应质量未知

Issue / PR 响应质量未知。

用户无法判断遇到问题后是否有人维护。

下一步：先用小样本公开文本验证建库、查询、删除和回滚，再接入真实数据。。