好开源，值得被发现。

Malleus 是一个协议及 Python 参考实现，用于类型化、故障关闭的语义变更，通过本体驱动合约实现可解释、可重放的知识图谱填充。

Semantica是一款图谱原生基础设施，为AI系统提供结构化上下文、确定性推理和完整的决策溯源，作为大模型和智能体的语义层。

Folio 是一种用于文学编程的 Markdown 格式和 Rust 工具集。它通过 tangling 将带有类型化 YAML 元数据的文档转换为源文件，将其编织成可读页面，根据词汇表检查元数据，并能将选定文档发布为带有溯源记录的独立仓库。