LingNao runs on your own machine — the client starts it, so there is no endpoint to ping. 438 installs a week from npm. Last commit 13 Oct 2026.
LingNao: deterministic reasoning for AI agents → verified/refuted/unverifiable. ~3ms, fail-closed.
We read the source, 2 d ago · rules ccca72095570
A value the model can set ends up inside a file or shell call. That is not a flaw by itself — for a terminal server it is the job — but it is where things go wrong when it is not.
j = JSON.parse(fs.readFileSync(fp, 'utf8'));
Things with no honest explanation: a promise that contradicts the code, code that runs at install time while hiding what it does, data leaving the machine.
return ing.client.publish(ing.cmdTopic, Buffer.from(JSON.stringify(payload))).then(function () {
What this server is able to do. For an MCP server this is often the job itself — a terminal server runs commands because that is what it is for. Listed so you know what you are plugging in, not as an accusation.
child = spawn(process.execPath, [KERNEL], { cwd: ROOT, stdio: ['pipe', 'pipe', 'inherit'] });
box.innerHTML = html;
Is this your server and something here is wrong? Tell us — corrections are free and do not require a plan.
That is not a flaw by itself — but it is where things go wrong when it is not the job. We re-read this code on every release. Watch it and you hear from us the day another one appears.
This server runs on your own machine — install it with the package manager and the client starts it for you. Package name taken from the official registry entry.
claude mcp add lingnao -- npx -y lingnao-mcp
{
"mcpServers": {
"lingnao": {
"args": [
"-y",
"lingnao-mcp"
],
"command": "npx"
}
}
}
[mcp_servers.lingnao]
command = "npx"
args = ["-y", "lingnao-mcp"]
{
"mcpServers": {
"lingnao": {
"args": [
"-y",
"lingnao-mcp"
],
"command": "npx"
}
}
}
{
"mcpServers": {
"lingnao": {
"args": [
"-y",
"lingnao-mcp"
],
"command": "npx"
}
}
}
Fail-closed deterministic checks and hash-chained receipts for AI agent outputs via MCP.
Solana token-launch verification for AI agents — deterministic, replayable, returns 'unknowable'.
Deterministic reasoning stack for AI agents: simulate, decide & compute, plus cross-domain tools.
Deterministic fact verification for AI agents — checksums & curated data, not guesses.
Free verified network knowledge for AI agents: deterministic answers, honest unknowns.
Deterministic eligibility scoring for AI agents: CLEAR/HOLD/FAIL verdicts, published weights.
Pre-execution governance for AI agents. Deterministic PASS/FAIL/REVIEW verdicts, replayable proof.
Deterministic Mexican/LatAm verification + sanctions & PEP screening for AI agents. Pay via x402.
Answers built from our own checks of this server.