返回首页

编码中的 AI 代理:SENAR 标准用于纪律

本文描述了从 AI 代理的简单规则到无需手动代码的可靠开发的 SENAR 标准的转变。问题案例:未经授权的更改、发明 API、测试空白。实施规范形式化、故障日志和执行将 FPSR 提高到 85%。

SENAR:无需手动代码的开发中 AI 的工程纪律
Advertisement 728x90

AI 智能体工程标准:从规则到开发纪律

一年半的无手动编码开发经验,暴露了单纯依赖 CLAUDE.md 等文件简单指令的局限性。像 Claude Code 和 Cursor 这样的智能体能处理任务,却忽略项目上下文、自行编造逻辑,并跳过边缘情况。资深 IT 领导 Andrey Yumachev 从一次性提示转向系统化流程:正式规范、失败记忆,以及 SENAR 标准结合 TAUSIK 框架。这将服务器端任务的首次通过率(FPSR)从 40% 提升至 75–80%。

实践中暴露的问题

简单项目用规则文件就能搞定:编码风格、批准的库、重点领域。但复杂任务会让智能体越界。

未经授权的改动

智能体为任务重构模块,顺手调整了七个模块共用的工具库。测试通过,但第二天三个模块崩了。智能体像个过于热情的菜鸟开发者:未经批准就提取重复代码。

Google AdInline article slot

猜测 API

集成外部服务:智能体生成请求代码、重试逻辑(1s、2s、4s)和响应解析。五次请求中两次失败——文档过时,智能体凭空填补却错了。没有通过 curl 或 Postman 手动验证,也没有代码注释。

测试缺失

密码重置:测试绿灯通过,但存在 OWASP 漏洞——现有/不存在邮箱的响应不同,便于枚举攻击。智能体未明确规范,就没加测试。

指令只是建议,不是硬性限制。没有执行机制。

Google AdInline article slot

流程演进:从规范到记忆

规范化需求

每个任务:目标、验收标准、范围内外文件、负面场景(空字段、无效 ID)。FPSR 翻倍。规范遏制猜测——智能体严格遵守明确规则。

示例规范化规范:

  • 目标:实现密码重置。
  • 标准:任意邮箱响应相同(含时序);现有/不存在测试。
  • 范围内:auth.py、tests/test_reset.py。
  • 范围外:UI。

Sortula:带失败记忆的项目

一个带语义搜索的链接保存服务(LLM 提取论点存 DB)。智能体在同一库上三次破坏构建——无过去失败记忆。

Google AdInline article slot

解决方案:失败日志文件。

  • 库 X:在服务器 Y 构建失败(缺依赖 Z)。
  • 备选:W,配配置标志即可。
  • 日期:YYYY-MM-DD。

6 周内:40 条记录,每任务节省 15+ 分钟。日志注入 CLAUDE.md 作为前言。

SENAR 标准与 TAUSIK 框架

SENAR 是 AI 开发的工程标准:规范(Specification)、执行(Enforcement)、记忆(Memory)、审计(Audit)。TAUSIK 是实现框架。

SENAR 组件:

  • 规范:YAML/JSON 规范含标准、范围、负面场景。
  • 执行:Pre-commit 钩子检查合规(linting、无范围外改动)。
  • 记忆:Sortula 式日志 + 智能体记忆(Claude 上下文窗口)。
  • 审计:里程碑处人工审查。
  • 回滚:Git 工作流带特性分支。

TAUSIK 自动化:生成规范模板、注入日志至提示、脚本执行。

指标与诚实基准

FPSR:首次解决任务比例。早期凭历史估算,后凭日志。

| 阶段 | 服务器 FPSR | 前端 FPSR | 备注 |

|-------|-------------|---------------|-------|

| 仅规则 | 40% | 30% | 基线 |

| +规范 | 75% | 60% | 熟悉领域 |

| +SENAR | 85%+ | 70%+ | 全栈 |

数据主观、领域相关。不熟悉区 FPSR 降 20%。

关键收获:

  • AI 智能体是执行者,非工程师:需纪律化规范与执行。
  • 失败记忆关键:每任务省 15–30 分钟。
  • 熟悉栈用 SENAR 可达 FPSR >80%。
  • 人工介入:架构、审查、决策。
  • 30+ 项目:从 PoC 到生产。

— Editorial Team

Advertisement 728x90

继续阅读