Deterministic MCP solver for real equation systems (<=6 vars), Krawczyk-certified.
Free
3 servers across data science & ml, ai & agents and learning & documentation. The largest is Lingshu Solver.
Data Science & ML · AI & Agents · Learning & Documentation
3
servers published
3 categories
5k
downloads
counted by the registries
0
followers
told when a release lands
3 of 3
security-scanned
servers with a scan grade
3 MCP servers, most downloaded first. 3 of 3 are free to start.
LingNao: deterministic reasoning for AI agents → verified/refuted/unverifiable. ~3ms, fail-closed.
Free
LingJing classroom MCP: human teaches, AI student questions; returns blindspots & summary.
Free
Authentication
0 of 3 use OAuth
The rest either hold an API key issued by the publisher or ask for nothing.
Support
Community publisher
Listed without a verification tick. Read the listing before installing.