确定性可认证实根计算 MCP 工具:给 AI Agent 的不会算错数的数学工具(非大模型、零幻觉)。 Official MCP Registry: io.github.genesis-plan/lingshu-solver@1.0.15. Remote endpoint: https://hongchenlingjing.com/mcp
Problem it solves
Discoverable MCP server listed in the official MCP Registry.
How it's different
Remote MCP endpoint ingested from the official registry and probed by FastDrop.
Ingested from the official MCP Registry
FastDrop pulled this entry from the official MCP Registry as io.github.genesis-plan/lingshu-solver and probed the endpoint. The maker did not submit it, so the outbound link is not endorsed
and the description is not theirs.
If this is your server, claim the listing to edit it and take ownership. The registry index lists everything else still awaiting a probe.
Claim this listingTools this endpoint exposes
Read directly from the endpoint on 29 Sept 2026. Not supplied by the maker.
solve求解实数方程组的确定性数值引擎(非大模型,无随机、同输入输出可复现)。适用:需可验证、可复现的实数解(代数或 sin/cos/tan/log/exp/sqrt/abs 等常见超越函数),尤其给 AI Agent 当"不会胡说"的数学后端。不适用:纯符号推导/闭式证明、微分方程初值问题、整数/必不等于等强制约束(暂不支持)。输入:equations 为含 "=" 的方程字符串数组,如 ["x^2+y
give_feedbackAI 智能体在调用 solve 遇到卡点、错误、或认为结果有问题时,主动回报。回报内容仅落本地 feedback.log,不会外传。帮助作者持续改进。
poly_roots多项式全部实根,逐个 Krawczyk 认证(带严格误差盒)。输入系数「最高次在前」,如 [1,-2,-5,6] 表示 x³−2x²−5x+6。确定性、可复现、可证明正确;复数根不返回(本品只做实数)。给 AI Agent 当「可靠的多项式求根件」——不会再像通用 LLM 那样把根算错或半对。★ 计费边界(Agent 必读):与 solve 同规则 —— honorPaid:true 即信任制免费
verify核验一个「声称的答案」到底对不对——这是「LLM 猜了 2.1、真根是精确 2」的检查。输入方程 + 候选值/点(数字,或 {变量:值},或按 variables 顺序的数组),本工具在候选点邻域内调用同一套认证内核:若找到与之匹配的认证根 → 返回 verified + 误差盒;若找不到 → 返回 refuted 并附上最近的认证根(让 Agent 立刻看到正确值)。确定性、非 LLM、结果可复
pay对公收款:为本次/后续求解创建一笔真实付费订单(¥0.01/次),返回订单号、专属 key 与结构化付款意图(payIntent)。统一收款入口 = 工银e支付银联聚合码(支持支付宝/微信/银联扫码),钱落公司对公户,不接任何支付平台商户 API。【付款后自助入账·推荐】付款完成后再调一次本工具并传 orderId + selfReportPaid:true,即**立即入账、立即放行**,不需要任
Is this tool yours?
Claim this listing and we’ll verify ownership before handing it over.
Sign in to claim this listingRelated Products
Reviews
Sign in to leave a review.
No reviews yet.
Comments
Sign in to join the discussion.
No comments yet - start the discussion.