灵数求解器 v1.0.0 · 首个公开发布

灵数求解器 Lingshu Solver v1.0.0

给 AI Agent 与普通用户的确定性实数方程组求解工具。

核心能力

• ≤6 变量实数方程组求解（多项式 / 三角 / 指数 / 根式混合）
• 区间收缩 + Krawczyk 认证：已验证解数学保真（tier=proven），误差 ≤ 认证半径
• 离线、零依赖、零数据：不联网、不写文件、不收集任何信息
• 诚实边界：尽力穷尽多解；预算内未能证明已穷尽时显式标记 truncated，绝不谎称完备
• 固定 6 位小数精度（产品规格：6位小数有限网格），显示与计算同源

两种形态

1. 网页版 index.html：双击即用，含 6 个分类示例
2. MCP 服务端 mcp-server.js：零依赖 stdio 协议，供 Claude/Cursor/Cline 等 AI 客户端接入

快速接入（MCP）

command: node args: [把这里替换成你本地绝对路径/灵数求解器/mcp-server.js]

质量

• 三套回归考卷（own / mcp / textbook）共 28 用例，0 崩溃，已知解命中 100%
• 协议 Apache 2.0

诚实声明

本工具对经典逻辑下可判定问题提供 best-effort 穷尽；对极端病态（雅可比高度奇异、解簇极度贴近）系统在预算内可能遗漏个别解，此时以 truncated / 诊断告警显式标记。已验证解保真，未验证解不谎称为已验证。