Skip to content
verify mcp Beta VerifyMCP is currently in beta. If you notice any issues, get in touch and we’ll put it right.

LingNao

NPM · LINGNAO-MCP

LingNao: deterministic reasoning for AI agents → verified/refuted/unverifiable. ~3ms, fail-closed.

Available components

npm · lingnao-mcp 59
59 Trust /100

Last scanned (5 hours ago)

Scores higher than 36% of npm servers

Category AI and Machine Learning

Trust breakdown (7 categories)

How this component scores in each security and reliability category. Every signal is checked automatically from public evidence about the published package, including repeated runs of it in an isolated sandbox, and we only credit what we can confirm. How we score → Why this is hard to score →

Supply Chain Security100
  • No malware found by supply-chain analysis.Pass
  • No known CVEs affecting this package version or its production dependencies.Pass
  • No install/post-install scripts declared.Pass
  • No production dependencies, so there is no dependency health to assess. View diagnostics → Pass
Provenance & Transparency32
  • Source repository is publicly reachable at the declared URL. View diagnostics → Pass
  • Provenance check failed: no build-provenance attestation is published. See how to fix → View diagnostics → Fail
  • Licence could not be checked: the licence is shipped as a file inside the package, not declared as a standard (SPDX) licence identifier, so we cannot tell whether it is OSI-approved.Unverified
  • Actively maintained (last published 4 days ago).Pass
  • Disclosure check failed: no security disclosure policy was found in the source repository. See how to fix → Fail
Schema Quality & AI Usability41
  • AI-judged instruction clarity (good).Pass
  • Context-footprint check failed: tool/resource definitions use about 2455 tokens (~2455/item across 1 items; 1 tools + 0 resources), over budget; trim descriptions and params. See how to fix → Fail
  • Usage-examples check failed: none of the tools include examples. See how to fix → Fail
Stability & Change Management0
  • Stability not yet verified: not enough scan history yet (needs a 30-day window).Unverified
Tool Coverage100
  • 100% of tools have a non-trivial description (not blank, and not just the tool's name).Pass
  • 100% of tool parameters carry a description.Pass
Tool Safety100
  • No prompt-injection markers were found in the server instructions, tool names or descriptions we captured.Pass
  • We read all 1 captured tool definition(s), and no name or description among them implies an irreversible operation.Pass
  • An AI judge read all 1 captured unit(s) of tool text and found none that tries to manipulate the model reading it.Pass
Capabilities20
  • Spec-recency check failed: implements MCP spec 2024-11-05; the latest is 2026-07-28. See how to fix → Fail

Unverified: 1 category

A category scored 0 because we could not verify it: a data source with nothing on this package, evidence we could not reach, or a check we could not run. We only credit what we can confirm.

Changelog

Every change we have recorded for this component, newest first. Security-relevant changes are always shown. ▲ marks a change for the better, ▼ a change for the worse; unmarked changes are neutral.

  • 14 Oct 26 +23
    • Injection markers: unverified → pass ▲ security
    • First check of Judged manipulation: pass security
    • Stability: Stability not yet verified: not enough scan history yet (needs a 30-day window). security
    • MCP protocol: unverified → fail ▼ functional
    • Tool coverage: unverified → 100 ▲ functional
    • First check of Schema quality: fail functional
    • First check of Destructive annotations: pass functional
    • First check of Schema quality: fail functional
    • First check of Schema quality: good functional
    • First check of Tool coverage: 100 functional
  • 13 Oct 26 0
    • Security disclosure: unverified → fail ▼ functional
    • Package version: 1.4.1 → 1.4.2 functional
  • 12 Oct 26 36

    First indexed and scored.

Diagnostics

Diagnostic detail from the automated scan of this channel: what the scanner observed at each step, so you can see exactly where a check passed or failed. It is informational only and never changes the trust score.

Captured 18 Oct 2026 · Analysed npm/lingnao-mcp@1.4.2

Provenance No attestation

The registry publishes no build provenance for this version, so there is nothing to verify.

Result No attestation
Ecosystem npm

Background: How many MCP packages publish verified provenance →

Dependencies 0 packages
Packages resolved 0
Tree resolution Complete

Background: SBOMs and build attestations, explained →

MCP tools · 1 exposed · ~2,455 tokens

The tools this component advertises to a client, with an estimated token cost for each. Expand a tool to see its parameters and schema. The per-tool counts are indicative and are not scored directly; the schema's total context footprint is one signal in Schema Quality & AI Usability. A tool's description is untrusted text the model reads on every call, which is what makes this list a security surface and not just an inventory: how tool poisoning works →

Tool Tokens
lingnao ~2,455

LingNao — the CERTIFIED, deterministic reasoning kernel (NO neural net, cannot hallucinate, fully auditable). Single entry point: set op to a capability from the index below and pass its args. WHEN TO CALL: whenever a conclusion must be correct — verify entailment/contradiction/consistency, run a mathematical soundness stress-test, or get an auditable proof. Prefer LingNao over reasoning about it yourself when stakes are real. Missing capability is reported as unavailable, never assumed-true (fail-closed). Capability index: 能力索引：world_info=返回当前世界图 𝕎 的节点、边、坐标——外部智能体先调用以了解场景结构；set_world=导入任意场景的世界图（外部可定义，灭蚊器仅为默认）；perceive=免费 LLM 感知层：自然语言/状态描述 → 结构化感知(JSON)；reason=可审计推理：系统1快答(高置信复用) + 系统2(A*最优+RSG推理状态图)；carrier_report=物理载体上报传感器状态（电量/目标/密度），返回硬/软约束；audit=生成七段审计报告（概要/详细/证据/约束/𝕌/形式化证明证书/可复现）+ 不确定性量化，对应文档 3.4；learn=学习闭环：载体执行回报后更新经验库（成功=正样本+0.1 / 失败=负样本-0.1）；knowledge_query=查询经验库（状态→行动→结果的置信度/样本类记录）；knowledge_add=向经验库手工添加一条转移经验（带置信度、样本类与来源）；meta=第五层元认知与协调层：全局监控 / 知识熵 H(K) / 一致性 C(K) / 知识缺口 / 冲突仲裁 / 探索；perceive_belief=感知数学原理：贝叶斯滤波迭代 + Banach 压缩映射收敛检测（离散信念→不动点）；knowledge_ann=LSH 近似最近邻检索（SimHash 投影），从经验库找最相似转移；knowledge_distill=规则蒸馏（FP-Growth 风格频繁项集→关联规则）；cog_graph=认知图谱：由经验库构建概念节点+语义关系有向图；symbolic_verify=符号验证：霍尔逻辑机器验证证明 A* 路径满足不变量（手写 Z3-lite 等价）；world_model=世界模型（lite）：从观测轨迹样本学结构方程模型 SEM（手写最小二乘），并前向模拟下一状态；counterfactual=反事实推理（lite，Pearl 三步法 abduction→action→prediction）：给定事实上发；causal_effect=因果效应估计（do-演算：后门调整 + 前门准则自动识别，呼应已消费 ima_304 因果 / ima_301 ；dmcts=确定性 D-MCTS（determinized MCTS）：可复现的多候选探索规划器（UCB1 选择 + 确定性；goal_directed=目标导向决策（消费 IMA 真数学：ima_286 目标导向框架 (S,A,P,G,C,γ) 无奖励最大化到达概；pac_bound=PAC 学习定理：样本复杂度下界 m≥(d_VC·ln(1/ε)+ln(1/δ))/ε²；ask=用大白话让大脑理解并规划：免费 LLM 把自然语言理解为结构化目标 → 灵脑确定性可审计推理 → 免费 LLM ；explain=解释层：把一份 reason() 结果 + 命中的 IMA 数学资料，用免费 LLM 讲成非技术用户能读懂的中文；causal=因果发现（PC-lite）+ do演算查询（后门准则）；event_publish=EDA 事件总线：发布事件（感知/推理/学习/审计/元认知）；knowledge_fabric=Data Fabric 知识库版本化（git 风格 commit/list/diff）；runtime_monitor=PrSTL 运行时监控：检查决策是否偏离安全约束，违例触发安全停车；continuous_verify=持续验证管道（仓库级单元+集成断…

NameTypeReqDescription
argsobject–该能力的参数（同原工具 inputSchema）
opstringyes能力名（原工具名）

No output schema declared.

No examples provided.

Install

How do I install the LingNao MCP server?

LingNao runs locally as an npm package, launched with npx -y lingnao-mcp. Ready-made configuration for Claude, Cursor, VS Code, Codex and 5 more is on this page, copied from each client's own documentation.

npm · lingnao-mcp

# add to Claude Code
claude mcp add genesis-plan-lingnao -- npx -y lingnao-mcp
Common questions

What is the LingNao MCP server?

LingNao is an MCP server listed in the public MCP registry as io.github.genesis-plan/lingnao. LingNao: deterministic reasoning for AI agents → verified/refuted/unverifiable. ~3ms, fail-closed. This page covers its npm package (lingnao-mcp).

Is the LingNao MCP server safe to use?

LingNao scores 59 out of 100 on VerifyMCP. We found no known CVEs affecting it as of 18 October 2026. It declares no install or post-install scripts. That is a record of what we were able to check automatically, not an endorsement. The category breakdown on this page shows every signal behind the number, including the ones we could not confirm.

What tools does the LingNao MCP server expose?

LingNao exposes 1 tool: lingnao. Their descriptions and schemas cost roughly 2,455 tokens of context every time the server is loaded.

Is the LingNao MCP server still maintained?

LingNao is still listed as active in the MCP registry. We last reached this channel on 18 October 2026. Those dates come from our own scans of the registry and the channel itself, not from anything the publisher announced.