lingshu-solver 1.0.7 → 1.0.9
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +80 -6
- package/beian.png +0 -0
- package/http-mcp-server.js +1750 -0
- package/index.html +15 -4
- package/mcp-server.js +3 -0
- package/package.json +4 -2
package/index.html
CHANGED
|
@@ -11097,7 +11097,7 @@ function _runTail(state) {
|
|
|
11097
11097
|
|
|
11098
11098
|
// —— 可审计结构化溯源（切片A）：每个结果附带完整证据链元数据 ——
|
|
11099
11099
|
// 设计目标：Agent / 上层系统拿到的不只是裸数字，而是"为什么是这个解"的可读证据链。
|
|
11100
|
-
var SOLVER_VERSION = "lingshu-solver/1.0.
|
|
11100
|
+
var SOLVER_VERSION = "lingshu-solver/1.0.8-auditable";
|
|
11101
11101
|
|
|
11102
11102
|
// Movability 完整读取（切片B）：每变量携带 status + width，供 Agent 读懂"为何是这个解"
|
|
11103
11103
|
function _movabilityFull(state) {
|
|
@@ -12290,9 +12290,20 @@ function showError(msg) {
|
|
|
12290
12290
|
</script>
|
|
12291
12291
|
|
|
12292
12292
|
<footer style="margin-top:34px;padding:18px 12px;text-align:center;color:#64748b;font-size:12px;border-top:1px solid #334155;line-height:1.8;">
|
|
12293
|
-
|
|
12294
|
-
<
|
|
12295
|
-
|
|
12293
|
+
<div style="margin-bottom:8px;">广州市红尘灵境数字科技有限公司 版权所有</div>
|
|
12294
|
+
<div style="margin-bottom:8px;">
|
|
12295
|
+
<a href="https://beian.miit.gov.cn/" target="_blank" rel="noopener" style="color:#94a3b8;text-decoration:none;margin:0 8px;">粤ICP备2026031206号-3</a>
|
|
12296
|
+
<a href="https://www.beian.gov.cn/portal/registerSystemInfo?recordcode=44011402001444" target="_blank" rel="noopener" style="display:inline-flex;align-items:center;gap:6px;color:#94a3b8;text-decoration:none;margin:0 8px;">
|
|
12297
|
+
<img src="beian.png" alt="公安备案图标" style="height:18px;vertical-align:middle;" />
|
|
12298
|
+
<span>粤公网安备44011402001444号</span>
|
|
12299
|
+
</a>
|
|
12300
|
+
</div>
|
|
12301
|
+
<div style="margin-bottom:8px;">
|
|
12302
|
+
<a href="/privacy.html" style="color:#94a3b8;">隐私与安全说明</a> ·
|
|
12303
|
+
<a href="https://hongchenlingjing.com/mcp" style="color:#94a3b8;">远程调用端点 hongchenlingjing.com/mcp</a> ·
|
|
12304
|
+
<a href="https://hongchenlingjing.com/pay/" style="color:#94a3b8;">支持这个工具（托管端点 ¥0.01/次，付款后立即生效）</a>
|
|
12305
|
+
</div>
|
|
12306
|
+
<div style="color:#475569;">本网页版永久免费、不限次数、离线计算。托管端点也支持「不付费照常用」（调用时传 honorPaid）。</div>
|
|
12296
12307
|
</footer>
|
|
12297
12308
|
</body>
|
|
12298
12309
|
</html>
|
package/mcp-server.js
CHANGED
|
@@ -96,6 +96,9 @@ function shapeResult(r) {
|
|
|
96
96
|
const diagnostics = {
|
|
97
97
|
solverVersion: meta.solverVersion || null,
|
|
98
98
|
truncated: !!(r.truncated || meta.truncated),
|
|
99
|
+
// 解析失败原因（如 NO_EQUATION）。新增：让调用方能区分「输入不可解析」与「已证明无解」，
|
|
100
|
+
// 并让托管端点的计费层把「解析失败」判为非计费情形（不收「我解析不了」的钱）。
|
|
101
|
+
inputError: r.error || null,
|
|
99
102
|
terminatedBy: meta.terminatedBy || null,
|
|
100
103
|
provenCount: (typeof r.provenCount === 'number') ? r.provenCount : null,
|
|
101
104
|
completeness: detF(r.completeness)
|
package/package.json
CHANGED
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "lingshu-solver",
|
|
3
|
-
"version": "1.0.
|
|
4
|
-
"description": "灵数求解器 · 确定性实数方程组求解 MCP 工具（≤6变量）：区间收缩 + Krawczyk 认证，离线零依赖零数据，诚实标记 truncated
|
|
3
|
+
"version": "1.0.9",
|
|
4
|
+
"description": "灵数求解器 · 确定性实数方程组求解 MCP 工具（≤6变量）：区间收缩 + Krawczyk 认证，离线零依赖零数据，诚实标记 truncated。本地 stdio 永久免费；另有常驻托管端点 https://hongchenlingjing.com/mcp（按次 ¥0.01/次，支持 honorPaid 免费放行）。",
|
|
5
5
|
"homepage": "https://genesis-plan.github.io/lingshu-solver/",
|
|
6
6
|
"repository": {
|
|
7
7
|
"type": "git",
|
|
@@ -36,7 +36,9 @@
|
|
|
36
36
|
"files": [
|
|
37
37
|
"index.html",
|
|
38
38
|
"mcp-server.js",
|
|
39
|
+
"http-mcp-server.js",
|
|
39
40
|
"solver-core.js",
|
|
41
|
+
"beian.png",
|
|
40
42
|
"README.md",
|
|
41
43
|
"LICENSE"
|
|
42
44
|
],
|