Repository navigation
灵数求解器 v1.0.22
- inflate-and-refine 算法落内核(区间膨胀 + 精化)
- Miranda 第二认证器(区间算术之外的独立存在性证明)
- 61 例产品缺陷清零
已验证解数学保真;全局穷尽为尽力而为,未穷尽诚实标记 truncated。
安装:npx -y lingshu-solver@1.0.22
MCP 托管端点:https://hongchenlingjing.com/mcp
已验证解数学保真;全局穷尽为尽力而为,未穷尽诚实标记 truncated。
安装:npx -y lingshu-solver@1.0.22
MCP 托管端点:https://hongchenlingjing.com/mcp