dsh-geometry-knowledge

当一个 AI Agent 需要在 11 卷 251 篇共轭谱几何（CSG）文章中检索原文、引用定理并验证公式时，逐篇翻阅 Markdown 既慢又容易遗漏依赖关系，而依赖外部嵌入 API 又引入了网络、配额和隐私成本。dsh-geometry-knowledge 将全套语料与纯离线 BM25 索引打包进一个标准 DSH 插件，安装即用：4204 个文章分块、869 条有效真理、251 篇全文阅读与章节定位，全部零外部调用、零运行时依赖，让 Agent 在会话中直接完成语义检索、真理层查证和带编号的章节级引用。

在推理与审计层面，插件把整套主张（公理、定理、推论、猜想到验证）组织成类型化依赖图，depends_on、equivalent_to、mentions 边清晰可查；公式验证优先调用本机 SymPy 做严格符号化简，无法判定时明确标注为数值一致而非证明，绝不把未验证公式报成通过。六类一致性审计覆盖定义冲突、悬空引用、真理编号重复与索引滞后，确保语料在迭代中保持逻辑自洽。写入侧则提供唯一锚点局部替换、截断保护、覆盖前自动备份、同类型重编号全库引用级联更新与回滚机制，把知识库维护从高风险手工操作变成安全、可审计的标准流程。

这个插件适合正在从事共轭谱几何研究的博士生与学者，让其 DeepSeek Harness Agent 在推理中始终锚定一手文献并给出章节级引用；适合构建理论推理 Agent 的开发者，需要定理验证与主张溯源能力；也适合想要一个完全离线、零依赖的垂直领域知识库的人。同一内核还支持以 stdio MCP 服务形式运行，供 Codex++ 等其他客户端复用。