插件

中医工具集：八纲辨证与药对查询。

真实计算验证门：数学化简、逻辑证明、正则校验、E-prover 一阶逻辑、状态机检查与代码修复，由 Go 编译的二进制支撑（附 Windows 预编译产物）。

基于 BM25 关键词检索的记忆召回。