Linghun
本地优先、证据驱动的 AI 编程终端,通过运行时约束解决大模型幻觉问题
加载项目详情…
本应用为开源项目,仅供学习研究,请遵守其开源协议。
本地优先、证据驱动的 AI 编程终端,通过运行时约束解决大模型幻觉问题
加载项目详情…
本应用为开源项目,仅供学习研究,请遵守其开源协议。
图1:Linghun TUI 终端界面 — 左侧为上下文追踪,右侧为 AI 回复与验证反馈
想象一下这个场景:你让一个 AI 编程助手帮你重构一段关键的业务逻辑,它信誓旦旦地告诉你「这段代码已经移除了 XX 依赖,不会再有问题」,你信了,合并了代码,结果第二天生产环境报错——那段依赖其实还在,只是 AI 没有真的去看过。
这不是个别现象,而是当前几乎所有 AI 编程工具的通病:它们擅长生成,但缺少真实验证工程产出的机制。模型可以非常流畅地解释代码干了什么,却可能把完全不存在的方法说成是存在的;可以告诉你「已修复」,却可能只是改了表面。
Linghun 正是为解决这个根深蒂固的问题而生。它不只是一个 AI 对话终端,而是一套「证据优先」的编程运行时——模型可以推理和生成,但关键工程结论必须经过验证才算数。
Linghun 由独立开发者 linghungegeg 创建并维护,当前版本为 0.1.30,基于 Apache-2.0 许可证开源。项目的核心理念在 README 开篇就表达得很清楚:
「把大模型接到真实项目、真实工具、真实权限、真实验证和真实上下文里。」
这不是又一个套壳 ChatGPT 的 CLI 工具。它的野心指向 AGI(通用人工智能)——通过构建一套完整的 Agent 运行时,让 AI 在编程场景中获得真正的工程能力。
在 Novita x Harbor Agent Benchmark 的公开榜单中,Linghun 已在四个赛道上提交了结果:
| 榜单 | 提交名次 |
|---|---|
| File & Recovery | 第 2 名 |
| Systems & Security | 第 1 名 |
| Data & Science | 第 1 名 |
| Code & Debug | 第 3 名 |
尤其在系统安全与数据科学两个赛道夺得头名,说明其「证据验证」机制在实际工程任务中有实质性的能力优势。
Linghun 采用 pnpm monorepo 架构,代码组织清晰,主要包含以下包:
| 包名 | 职责 |
|---|---|
@linghun/cli | 命令行入口,版本 0.1.30 |
@linghun/core | 核心运行时 |
@linghun/providers | 模型提供商客户端(OpenAI 兼容 API) |
@linghun/tools | 工具集(文件操作、Shell 执行等),依赖 parse5 |
@linghun/tui | 终端 UI 界面,底层使用 ink(React 的终端版本) |
@linghun/ink-runtime | 封装 ink v7,提供 React 式 TUI 开发体验 |
@linghun/shared | 共享类型与工具函数 |
@linghun/config | 配置管理 |
此外还有平台相关的原生二进制包(如 @linghun/codebase-memory-darwin-arm64、@linghun/pre-engine-linux-x64 等),针对不同操作系统和架构提供预编译的本地组件。
技术栈总结:TypeScript(主语言)、Node.js >= 22(运行环境)、pnpm(包管理)、tsup(构建工具)、Biome(代码检查与格式化)、Vitest(单元测试)。整体代码质量较高,使用了现代 TypeScript 工程实践。
Linghun 的核心竞争力在于其反幻觉验证运行时(Hallucination-resistant Runtime)。这不仅仅是对模型输出的事后检查,而是将「真实验证」变成了执行流程的约束条件:
文件系统上下文注入:模型运行时可以直接读取项目真实代码,而非仅凭 prompt 中提供的片段。模型可以「真的看过」相关文件,而不是基于记忆猜测。
工具执行权限控制:模型调用的 Shell 命令、文件修改操作,都会经过验证环节。系统会追踪每个操作的副作用,确认是否真的按预期执行。
不确定性声明机制:模型在不确定某个结论时,系统会强制要求其明确声明不确定范围,而不是用流畅的废话掩盖。
验证循环(Verification Loop):类似 Agent 中的反射机制——生成结论 → 验证结论 → 不通过则重试,循环直到通过或达到最大迭代次数。
安装极为简单,一行命令搞定:
npm install -g @linghun/cli
linghun
首次启动时,通过 /model setup 配置 API Key(支持 OpenAI 兼容接口,可以连接任何兼容的模型后端)。~/.linghun/provider.env 文件保存配置,与 tracked 的 .env.example 完全隔离。
环境要求:
Linghun 还提供了 App Bridge 机制,允许第三方将自身的能力(工具)接入 Linghun 运行时。这是一个类似 MCP(Model Context Protocol)的扩展协议,让 Linghun 不仅是一个用户工具,还能成为 AI Agent 的能力平台。文档位于 docs/developers/capability-runtime-app-bridge.md。
需要正视的局限:
仅 TUI 界面:没有 Web UI,对习惯浏览器操作的用户有门槛。
需要自备模型:Linghun 本身不提供模型,只提供运行时。用户必须有自己的 OpenAI 兼容 API Key。
验证成本:反幻觉验证机制意味着同一个任务可能需要多轮验证,推理成本比单次生成更高。
平台成熟度:0.1.x 版本号说明项目仍处于早期,快速迭代可能导致 API 变化。
性能依赖模型质量:验证机制本身无法凭空保证答案正确,最终质量高度依赖底层模型的推理能力。
Linghun 代表了一个重要趋势:AI 编程工具正在从「生成者」向「验证者」进化。当行业开始意识到单靠模型规模无法解决幻觉问题,运行时层面的工程化约束就变得至关重要。
它的上榜成绩说明,「证据优先」的设计哲学不仅停留在理念层面,在真实评测中已经能带来可量化的能力提升。对于追求工程可靠性的开发团队,Linghun 是目前同类工具中值得关注的一个方向。