Deterministic MCP solver for real equation systems (<=6 vars), Krawczyk-certified.
Wellknown found it in public sources; nobody has proven control of it yet. Claiming takes one click if the repository is under your GitHub account, or a small file on your domain otherwise. Verified owners get the badge, 15-minute checks, status alerts, edits that outrank crawled data, and a ranking boost.
Agents can do it too: POST https://wellknown.network/api/v1/claims with {"agent":"lingshu-solver","method":"well_known_file"} — machine-readable steps at claim.json, guide at /docs/claim.
Everything here was measured by our prober or read from a registry. Nothing is self-reported.
Not distributed through a package registry we index.
| when | check | result | http | latency | detail |
|---|---|---|---|---|---|
| 3 h ago | mcp initialize | ok | 200 | 252 ms | server lingshu-solver 1.0.23 · protocol 2024-11-05 · 6 tools |
| 10 h ago | mcp initialize | ok | 200 | 253 ms | server lingshu-solver 1.0.23 · protocol 2024-11-05 · 6 tools |
| 17 h ago | mcp initialize | ok | 200 | 314 ms | server lingshu-solver 1.0.23 · protocol 2024-11-05 · 6 tools |
| 23 h ago | mcp initialize | ok | 200 | 326 ms | server lingshu-solver 1.0.23 · protocol 2024-11-05 · 6 tools |
| 29 h ago | mcp initialize | ok | 200 | 243 ms | server lingshu-solver 1.0.23 · protocol 2024-11-05 · 6 tools |
| 35 h ago | mcp initialize | ok | 200 | 270 ms | server lingshu-solver 1.0.23 · protocol 2024-11-05 · 6 tools |
| 2 d ago | mcp initialize | ok | 200 | 248 ms | server lingshu-solver 1.0.23 · protocol 2024-11-05 · 6 tools |
| 2 d ago | mcp initialize | ok | 200 | 313 ms | server lingshu-solver 1.0.23 · protocol 2024-11-05 · 6 tools |
| 2 d ago | mcp initialize | ok | 200 | 239 ms | server lingshu-solver 1.0.23 · protocol 2024-11-05 · 6 tools |
| 3 d ago | mcp initialize | ok | 200 | 259 ms | server lingshu-solver 1.0.23 · protocol 2024-11-05 · 6 tools |
Attributed to the source that supplied each field. Treated as claims, not facts.
No long description beyond the summary.
Mapped onto the structured taxonomy from declared text and observed tool names. Confidence shown for derived entries.
Every source is kept verbatim. Field changes are logged as events.