回首頁LingNao
LingNao: deterministic reasoning for AI agents → verified/refuted/unverifiable. ~3ms, fail-closed.
| 項目 | 內容 |
|---|---|
| 名稱 | io.github.genesis-plan/lingnao |
| 版本 | 1.4.1 |
| 分類 | 開發工具AI 與模型 |
| 遠端網址 | — |
| 安裝套件 | npm：lingnao-mcp（stdio） |
| 原始碼 | https://github.com/genesis-plan/lingnao |
| 網站 | https://hongchenlingjing.com/verify/ |
| 最後更新 | 2026-10-09T09:17:04.282695Z |