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

Rivendica questo annuncio

Collega il tuo account GitHub per dimostrare che possiedi o mantieni questo annuncio. Verifichiamo l’accesso al repo automaticamente — la maggior parte dei publisher viene confermata in pochi secondi.

1Collega GitHub

2Invia la tua rivendicazione

3Verifica automatica, oppure esame entro 48 h