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

Reclamar este listado

Conecta tu cuenta de GitHub para demostrar que eres el propietario o el responsable de este listado. Verificamos el acceso al repo automáticamente: la mayoría de los publicadores se confirman en segundos.

1Conecta GitHub

2Envía tu reclamación

3Verificación automática, o revisión en 48 h