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

Revendiquer cette annonce

Connectez votre compte GitHub pour prouver que vous possédez ou maintenez cette annonce. Nous vérifions l’accès au dépôt automatiquement — la plupart des éditeurs sont confirmés en quelques secondes.

1Connecter GitHub

2Envoyer votre revendication

3Vérification automatique, ou examen sous 48 h