lingshu-solver 1.0.16 → 1.0.17
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 +21 -15
- package/http-mcp-server.js +1 -1
- package/index.html +1 -1
- package/mcp-server.js +1 -1
- package/package.json +2 -1
package/README.md
CHANGED
|
@@ -4,7 +4,7 @@
|
|
|
4
4
|
|
|
5
5
|
[](LICENSE)
|
|
6
6
|
[](https://modelcontextprotocol.io)
|
|
7
|
-
[](docs/
|
|
7
|
+
[](docs/en/01-product-role.md)
|
|
8
8
|
[](https://www.npmjs.com/package/lingshu-solver)
|
|
9
9
|
|
|
10
10
|
> A **deterministic** solver for systems of real equations. The same problem always produces the same
|
|
@@ -90,20 +90,26 @@ is undecidable in the general case), not a defect to be fixed.
|
|
|
90
90
|
|
|
91
91
|
## Documentation
|
|
92
92
|
|
|
93
|
-
The
|
|
94
|
-
|
|
95
|
-
|
|
96
|
-
|
|
97
|
-
|
|
98
|
-
|
|
99
|
-
|
|
|
100
|
-
|
|
101
|
-
| [
|
|
102
|
-
| [
|
|
103
|
-
| [
|
|
104
|
-
| [
|
|
105
|
-
| [
|
|
106
|
-
| [
|
|
93
|
+
The machine-readable description for AI agents lives at [llms.txt](llms.txt).
|
|
94
|
+
|
|
95
|
+
Three of the design docs are in English; the deep-dive docs (design rationale, technical reference,
|
|
96
|
+
licence and pricing, contract, versioning, history) are still in their original Chinese. Each row below
|
|
97
|
+
tells you which is which.
|
|
98
|
+
|
|
99
|
+
| Doc | Language | Contents |
|
|
100
|
+
|---|---|---|
|
|
101
|
+
| [01 · Product role](docs/en/01-product-role.md) | **EN** | what it is, what problem it solves, who it is for, capabilities and limits, official wording |
|
|
102
|
+
| [02 · User guide](docs/en/02-usage-guide.md) | **EN** | the three forms, the MCP tool contract (input/output/errors), self-hosting, FAQ |
|
|
103
|
+
| [05 · Use cases](docs/en/05-use-cases.md) | **EN** | applicable scenarios (agent backend / multi-agent / off-chain computation / tax and finance control / on-prem / education / audit) and the ones that do not apply |
|
|
104
|
+
| [03 · Design ideas](docs/03-%E8%AE%BE%E8%AE%A1%E6%80%9D%E6%83%B3.md) | 中文 | six design principles, why it is trustworthy, why no LLM, what it deliberately refuses to do |
|
|
105
|
+
| [04 · Technical reference](docs/04-%E6%8A%80%E6%9C%AF%E5%8F%82%E8%80%83.md) | 中文 | mathematical framework, algorithm pipeline, operator table, hard spec constraints, test suite |
|
|
106
|
+
| [06 · Commercial licence and pricing](docs/06-%E5%95%86%E4%B8%9A%E6%8E%88%E6%9D%83%E4%B8%8E%E6%94%B6%E8%B4%B9.md) | 中文 | licence model, what is free, hosted-endpoint metering, enterprise annual licence, invoicing |
|
|
107
|
+
| [07 · Licence contract](docs/07-%E6%8E%88%E6%9D%83%E5%90%88%E5%90%8C.md) | 中文 | commercial licence template, clause walkthrough, signing flow |
|
|
108
|
+
| [08 · Versioning](docs/08-%E7%89%88%E6%9C%AC%E7%AE%A1%E7%90%86.md) | 中文 | version semantics, release flow and the consistency checklist, compatibility promises, history |
|
|
109
|
+
| [09 · Project history](docs/09-%E9%A1%B9%E7%9B%AE%E5%8E%86%E5%8F%B2.md) | 中文 | how it got from the original problem to where it stands now |
|
|
110
|
+
|
|
111
|
+
If you read only one page, read [01 · Product role](docs/en/01-product-role.md) — it states the limits and
|
|
112
|
+
the approved wording.
|
|
107
113
|
|
|
108
114
|
> Privacy and security commitments are published separately: [privacy.html](privacy.html).
|
|
109
115
|
|
package/http-mcp-server.js
CHANGED
|
@@ -47,7 +47,7 @@ const solverCore = require('./solver-core');
|
|
|
47
47
|
const { solve } = solverCore;
|
|
48
48
|
|
|
49
49
|
const SERVER_NAME = 'lingshu-solver';
|
|
50
|
-
const SERVER_VERSION = '1.0.
|
|
50
|
+
const SERVER_VERSION = '1.0.17';
|
|
51
51
|
const PORT = parseInt(process.env.PORT || '3000', 10);
|
|
52
52
|
|
|
53
53
|
// ---- 护栏常量（防畸形/恶意输入耗尽资源，与 stdio 版一致）----
|
package/index.html
CHANGED
|
@@ -11195,7 +11195,7 @@ function _runTail(state) {
|
|
|
11195
11195
|
|
|
11196
11196
|
// —— 可审计结构化溯源（切片A）：每个结果附带完整证据链元数据 ——
|
|
11197
11197
|
// 设计目标：Agent / 上层系统拿到的不只是裸数字，而是"为什么是这个解"的可读证据链。
|
|
11198
|
-
var SOLVER_VERSION = "lingshu-solver/1.0.
|
|
11198
|
+
var SOLVER_VERSION = "lingshu-solver/1.0.17";
|
|
11199
11199
|
|
|
11200
11200
|
// —— 确定性可复现契约（Certified Real-Root Computation 六属性之「确定性可复现」）——
|
|
11201
11201
|
// 纯 JS 同步 SHA-256（零依赖，浏览器/Node 通用，免 Web Crypto 异步）。
|
package/mcp-server.js
CHANGED
|
@@ -19,7 +19,7 @@ const path = require('path');
|
|
|
19
19
|
const { solve } = require('./solver-core');
|
|
20
20
|
|
|
21
21
|
const SERVER_NAME = 'lingshu-solver';
|
|
22
|
-
const SERVER_VERSION = '1.0.
|
|
22
|
+
const SERVER_VERSION = '1.0.17';
|
|
23
23
|
|
|
24
24
|
// ---- 护栏常量（防畸形/恶意输入耗尽资源）----
|
|
25
25
|
const MAX_TOTAL_CHARS = 100 * 1024; // 单次请求方程文本总长上限 100KB
|
package/package.json
CHANGED
|
@@ -1,6 +1,7 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "lingshu-solver",
|
|
3
|
-
"version": "1.0.
|
|
3
|
+
"version": "1.0.17",
|
|
4
|
+
"mcpName": "io.github.genesis-plan/lingshu-solver",
|
|
4
5
|
"description": "Lingshu Solver — deterministic (non-LLM) MCP tool for solving systems of real equations, up to 6 variables: interval arithmetic + affine arithmetic + constructive Krawczyk certification, zero dependencies, offline, no data upload, unproven-completeness honestly flagged as truncated. Local stdio is permanently free; the hosted endpoint works without paying via honorPaid. Hosted endpoint: https://hongchenlingjing.com/mcp",
|
|
5
6
|
"homepage": "https://genesis-plan.github.io/lingshu-solver/",
|
|
6
7
|
"repository": {
|