lingshu-solver
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 ho
as observed 2026-10-07T11:52:54.037Z- Identifier
lingshu-solver- Source
- npm
- Version observed
- 1.0.23
- Source repository
- https://github.com/genesis-plan/lingshu-solver
- Repository observation
- Commits observed in the last 90 days
- First observed here
- 2026-10-07T11:52:54.037Z
- Observations recorded
- 1
- Weekly downloads (upstream)
- 2,085
- Publish rights held by
- genesis-plan
- Declared license
- SEE LICENSE IN LICENSE
Observation history
One observation recorded so far. Differences appear here once a second observation differs from the first.
Correction
If you maintain this extension and believe anything above is inaccurate, request a correction. Corrections are published, and disputed entries are marked as disputed while under review.