3 servers published under genesis-plan. 1 answered our last handshake, 0 did not, and between them they expose 6 tools.
3 servers 1 answering 0 not responding 1 245 installs/wk
Deterministic MCP solver for real equation systems (<=6 vars), Krawczyk-certified.
LingJing classroom MCP: human teaches, AI student questions; returns blindspots & summary.
LingNao: deterministic reasoning for AI agents → verified/refuted/unverifiable. ~3ms, fail-closed.