【Agent工坊】Hermes v0.14 代码质量双保险：文件变更验证 + LSP 语义诊断，终结 AI「睁眼说瞎话」

你：给 utils.py 加一个数据清洗函数

AI：已添加 clean_data() 函数到 utils.py（信心满满）

你：cat utils.py

——发现文件根本没变。或者更糟：函数加了，但引入了 undefined 变量。

[本轮文件变更]

  + utils.py — 新增 45 行（clean_data, validate_input）

  ~ config.py — 修改 3 行

  → 实际磁盘 delta: +42 行, -1 行

# 场景：Agent 同时编辑 5 个文件

# utils.py 写入成功

# models.py 写入成功

# api.py 写入失败（磁盘满，但 write_file 未抛异常）

# tests.py 写入成功

# config.py 写入成功

# 旧版：Agent 不知道 api.py 写入失败，代码集成时爆炸

# v0.14：Agent 看到变更摘要中缺少 api.py，主动重试

你：把 routes.py 拆成 user_routes.py 和 admin_routes.py，删除旧的路由定义

Hermes 执行：

  write_file → user_routes.py (200 OK)

  write_file → admin_routes.py (200 OK)

  patch → routes.py (删除旧路由，但网络抖动导致只删了一半)

下一轮对话 Header：

  [本轮文件变更]

    + user_routes.py — 新增 67 行

    + admin_routes.py — 新增 34 行

    ~ routes.py — 实际修改 5 行（预期删除 120 行）

Hermes（看到 delta 后）：

  "我注意到 routes.py 只删除了 5 行，但目标应该是删除约 120 行旧路由定义。

   让我重新检查文件内容并完成剩余的删除操作。"

# v0.13: 只能检测语法错误

def calculate(x, y):

    return x + y

result = calculate("hello", 42) # ← 类型错误，v0.13 检测不到

# v0.14: LSP 能检测语义错误

# pyright 诊断输出：

# Line 4: Argument of type "str" cannot be assigned to parameter "x" of type "int"

# → Agent 看到这个诊断，自动修正

你：写一个函数，从 API 拉取用户订单数据并计算总金额

Hermes 生成的代码：

import requests

from typing import List, Dict

def fetch_orders(user_id: str) -> List[Dict]:

    resp = requests.get(f"api.example.com/users/{user_id}/orders") # 实际使用时替换为真实API地址

    return resp.json()

def calculate_total(orders: list) -> float:

    total = 0

    for order in orders:

        total += order["amount"] # ← 如果 amount 字段缺失，运行时才会报错

    return total

# 调用

orders = fetch_orders(123) # ← user_id 应该是 str，传了 int

print(calculate_total(orders))

LSP 诊断（下一轮对话 Header）：

  Line 6: 返回类型 "Any" — resp.json() 缺少类型标注

  Line 10: order["amount"] 可能抛出 KeyError — 建议用 .get("amount", 0)

  Line 14: 参数类型 "int" 不能赋值给 "str" — fetch_orders 期望 str

Hermes（看到诊断后自动修正）：

  "检测到 3 个问题，让我修复：

   1. 给 resp.json() 添加类型标注

   2. order["amount"] 改为 order.get("amount", 0) 防止 KeyError

   3. fetch_orders(123) 改为 fetch_orders("123") 匹配类型签名"

┌─────────────────────────────────────────────────────┐

│ Agent 执行一轮操作 │

│ write_file(a.py) patch(b.py) write_file(c.py) │

└──────────────────────┬──────────────────────────────┘

                       │

                       ▼

┌─────────────────────────────────────────────────────┐

│ Hermes 自动执行（Agent 不参与） │

│ │

│ ① 文件变更验证：读取磁盘 delta │

│ → a.py: +35 行 / b.py: ~8 行 / c.py: 未变化! │

│ │

│ ② LSP 语义诊断：对每个变更文件运行语言服务器 │

│ → a.py: 0 新错误 │

│ → b.py: 2 新错误（类型不匹配 + 未定义变量） │

│ → c.py: 磁盘无变化，跳过诊断 │

└──────────────────────┬──────────────────────────────┘

                       │

                       ▼

┌─────────────────────────────────────────────────────┐

│ 下一轮对话 Header（Agent 看到的） │

│ │

│ [本轮文件变更] │

│ + a.py — 新增 35 行 │

│ ~ b.py — 修改 8 行 │

│ ⚠ c.py — 写入操作执行但文件未变化（需检查） │

│ │

│ [LSP 诊断 — 新引入的问题] │

│ b.py:2 — 类型 "str" 与 "int" 不兼容 │

│ b.py:5 — 变量 "config" 未定义 │

└──────────────────────┬──────────────────────────────┘

                       │

                       ▼

┌─────────────────────────────────────────────────────┐

│ Agent 响应（基于双重反馈自主修正） │

│ │

│ "我发现两个问题： │

│ 1. c.py 的写入没有生效，让我重新执行 │

│ 2. b.py 有类型错误和未定义变量，让我修正" │

└─────────────────────────────────────────────────────┘

# Python (pyright)

pip install pyright

# TypeScript/JavaScript

npm install -g typescript-language-server typescript

# Rust

rustup component add rust-analyzer

# Go

go install golang.org/x/tools/gopls@latest

hermes --version

# 应输出：v2026.5.16 或更高

pip install --upgrade hermes-agent

# 或者如果从源码安装：

git pull && pip install -e .

# Python 开发者

pip install pyright

# 全栈开发者（Python + TypeScript）

pip install pyright

npm install -g typescript-language-server typescript

你：在 /tmp/test_lsp.py 写一个简单的函数 add(a, b) 返回 a + b

Hermes 会写入文件。

你（同一轮或下一轮直接问）：刚才写入 test_lsp.py 成功了吗？

Hermes 的响应中应该能看到：

"根据本轮文件变更摘要，/tmp/test_lsp.py 已成功创建，新增了 3 行代码。

 让我打开文件验证..."

你：在 test_lsp.py 里加一个函数调用，故意传错类型：

add("hello", 42)

Hermes 编辑文件后，下一轮对话中 Header 应包含：

[LSP 诊断]

  test_lsp.py:4 — 参数类型 "str" 与 "int" 不兼容

如果 Hermes 没有主动提到这个错误，可以直接问：

"刚才的修改有没有引入 LSP 诊断？"

tools:

  write_file:

    lsp_diagnostics: false