MCP

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

Diesen Eintrag beanspruchen

Verbinde dein GitHub-Konto, um zu belegen, dass du diesen Eintrag besitzt oder betreust. Wir prüfen den Repo-Zugriff automatisch — die meisten Publisher sind in Sekunden bestätigt.

1GitHub verbinden

2Anspruch einreichen

3Automatisch verifiziert oder innerhalb von 48 Std. geprüft