灵数求解器 · 实时认证演示
给 AI Agent 的、不会算错数的数学工具
下面所有「灵数」结果都来自生产端点 https://hongchenlingjing.com/mcp 的实时调用，可断网复算、可回代验证。
考题：求下面方程的全部实根
x³ − 2x² − 5x + 6 = 0
🤖 普通 LLM / 浮点估算 示意
x ≈ 1.0，x ≈ −2.0，x ≈ 3.0
返回的是「近似」，且无法证明「这就是全部根」。
✗ 无法构造性认证
遇到近重根 / 病态系数（如 Wilkinson 多项式），估算器会自信地给出错误的「精确」根。LLM 还会用流畅语言把近似说成确定。
🔬 灵数 · 生产端点实时认证 LIVE
—
点击按钮调用真实端点
✓ 构造性认证（Krawczyk）
再问：2.1 是不是这道题的根？（「看起来很近」算不算对？）
—
认证求根会精确回答「2.1 不是根，离最近的认证根 3 还差 0.9」——而不是用「差不多」糊弄过去。
AI Agent 一行接入
{ "mcpServers": { "lingshu-solver": { "command": "npx", "args": ["-y", "lingshu-solver"] } } }
{ "mcpServers": { "lingshu-solver": { "type": "http", "url": "https://hongchenlingjing.com/mcp" } } }
本地 stdio 永久免费、离线、不限次；远程托管端点免费可用（信任制，不拦人，无需付费）。
工具：solve（通用方程组）· poly_roots（多项式实根，带认证）· verify（候选根认证）· give_feedback · pay