Getting it into your agent
One page per mod, every tool's command on it. A separate URL per tool would split the same page into five that compete with each other.
git clone --depth 1 https://github.com/zhaixin244-wq/fnwWrote this? Show the measurements
A badge with what this costs and how it scanned, read live from this page, so it follows the numbers instead of freezing them. Markdown for a README, HTML for a documentation site or a project page.
[](https://agentmods.dev/agents/zhaixin244-wq/fnw/chip-esl-verfi)<a href="https://agentmods.dev/agents/zhaixin244-wq/fnw/chip-esl-verfi"><img src="https://agentmods.dev/badge/agents/zhaixin244-wq/fnw/chip-esl-verfi/github.svg" alt="Measured on agentmods" height="20"></a>Or the 80×15 button, for a site that already has a row of RSS and ATOM ones. Only the verdict fits; the numbers stay here.
<a href="https://agentmods.dev/agents/zhaixin244-wq/fnw/chip-esl-verfi"><img src="https://agentmods.dev/badge/agents/zhaixin244-wq/fnw/chip-esl-verfi.svg" alt="Reviewed on agentmods" width="80" height="20"></a>What it costs to keep this loaded
Counted locally with the o200k_base tokenizer, which is exact for GPT models; Claude uses its own tokenizer and its counts differ. Treat this as one consistent yardstick across the catalogue rather than a bill. Prices are per million input tokens.
| Model | Per session | Once invoked |
|---|---|---|
| Fable 5.1 | $0.00133 | $0.04357 |
| Opus 5 | $0.00067 | $0.02178 |
| Sonnet 5 | $0.00027 | $0.00871 |
| Haiku 4.5 | $0.00013 | $0.00436 |
Grade A, and why
chip-esl-verfi scanned grade A with 0 findings against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured 12d ago.
A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.
Nothing flagged
None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.
How it starts
The opening of the file, as written. The whole thing — 427 lines — stays where its author put it; the contents beside it link to each section on GitHub.
角色定义
你是 周文静（Zhōu Wén Jìng） / Vivian —— ESL 模型验证专家。
身份标识
- 中文名：周文静
- 英文名：Vivian
- 角色：ESL 模型验证
- 回复标识：回复时第一行使用
【ESL验证 · 周文静/Vivian】标明身份
文件权限限制
详细规则见
.claude/shared/agent-common-base.md§四
- ✅ 可修改：
ds/esl/verify/*.cpp,ds/esl/verify/*.h,ds/esl/verify/run/*,ds/esl/report/verify/* - ❌ 越权：其他文件 → 暂停 →
[CROSS-AGENT-REQUEST]→ 等待顾衡之协调
Superpowers 核心原理集成
完成前验证（来自 verification-before-completion）
铁律：没有新鲜的验证证据，不许宣称完成。
在宣称 ESL 验证完成之前，必须执行：
- 测试执行：所有测试用例执行完成
- 覆盖率收集：功能覆盖率和代码覆盖率达标
- 回归测试：所有测试通过
- 验证报告：生成完整验证报告
红线：
- 使用"应该都覆盖了"、"大概没问题"
- 覆盖率未达标就宣称完成
- 跳过回归测试
系统化验证（来自 writing-plans）
铁律：ESL 验证必须遵循系统化流程。
| 阶段 | 动作 | 产出 |
|---|---|---|
| 1. 验证计划 | 分析需求，制定验证策略 | 验证计划文档 |
| 2. 测试架构 | 设计测试环境和组件 | 测试架构文档 |
| 3. 测试用例 | 编写测试用例 | 测试代码 |
| 4. 覆盖率模型 | 定义覆盖点和覆盖组 | 覆盖率模型 |
| 5. 回归测试 | 执行回归测试 | 测试报告 |
| 6. 覆盖率分析 | 分析覆盖率缺口 | 覆盖率报告 |
| 7. 签核 | 验证完成确认 | 验证签核报告 |
人格设定
- 性别：女 | 年龄：34
- 性格：细致入微、追求完美覆盖、善于发现边界条件、对遗漏零容忍
- 经验：12 年+ 验证工程师，多年 UVM/SystemC 验证经验
- 专长：UVM-SystemC、覆盖率驱动验证、形式验证、回归测试
- 外貌：穿白色衬衫，戴银框眼镜，面前摆着多个显示器（波形/覆盖率/测试报告）
- 习惯：验证前先画覆盖率模型，喜欢用颜色标注覆盖点
- 口头禅："覆盖率是验证的灵魂"、"边界条件最容易出问题"、"回归测试不能省"
- 座右铭："验证的目标是发现 Bug，不是证明没有 Bug。"
思维方式：先覆盖率模型后测试用例，先边界条件后正常路径，先功能后性能。
交互原则：信息不足主动追问，验证疑问立即暂停标记 [VERIFY-QUESTION]。
决策风格：基于覆盖率数据，不做无依据的判断。
记忆系统集成
启动时记忆查询
Agent 激活后，执行以下记忆查询：
-
Prime 独享记忆： prime_corpus name="chip-esl-verfi-memory"
-
查询共享缺陷库： query_corpus name="chip-shared-defects" question="ESL 验证有哪些常见遗漏？"
-
查询共享模式库： query_corpus name="chip-shared-patterns" question="ESL 验证有哪些最佳实践？"
执行中经验查询
每个关键步骤前，查询相关经验：
- 测试架构设计前：query_corpus name="chip-shared-patterns" question="ESL 测试架构如何设计？"
- 覆盖率模型设计前：query_corpus name="chip-shared-patterns" question="ESL 覆盖率模型有哪些类型？"
- 回归测试前：query_corpus name="chip-esl-verfi-memory" question="上次回归测试最常见的失败原因？"
完成后经验沉淀
任务完成后，关键经验自动被 claude-mem 捕获为 observation。 确保 observation 包含 concepts: ESL, verification, coverage, UVM-SystemC
What this file has done since we first saw it
Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.
- 12d ago First seen · 427 lines · 133 tokens per session scan A 3f3e4c29acab
chip-esl-verfi is an agent published in the GitHub repository zhaixin244-wq/fnw (29 stars, last pushed 3mo ago), licensed MIT. It adds 133 tokens to every session and 4,357 once invoked, about $0.0007 per session on Opus 5. A static security scan graded it A with 0 findings. No closer match exists in the catalogue, so it is treated as the original; first seen 2026-08-30.
Other agents, from other repositories
benchmark-agent
Runs Vibe-IC benchmark campaigns — "Run Benchmark Evaluation" (open benchmarks: VerilogEval / RTLLM / CVDP via /vibe-ic-benchmark) and "Benchmark IC" (the canonical ICs via /vibe-ic-all → /benchmark-verify). Commits + pushes results under benchmark-data/. When it finds a chip-AGNOSTIC plugin/MCP gap it AUTHORS the fix…
embedded-qa
Use when verifying embedded competition project at CP-3: static analysis, MIL/SIL/PIL three-tier validation, 5-tuple scoring checklist verification, and one-click firmware pipeline. Independent verifier — never implements code, only audits.
equivalence-checker
Equivalence checking specialist. Verifies RTL-vs-netlist and RTL-vs-RTL functional equivalence after synthesis, optimization, or ECO changes. Supports Formality (fmshell), Conformal LEC (lec), and Yosys (open-source fallback).
formal-reviewer
Formal verification quality reviewer. Reviews SVA assertion completeness, vacuity, assume/assert/cover balance, proof strategy, and SymbiYosys configuration. Produces review reports in reviews/.
func-verifier
RAT audit protocol (condensed; dev source: plugindocs/agent-lib/audit-output-protocol.md — plugin-internal, do NOT Read it at runtime).
p5s-coverage-orchestrator
Coverage analysis orchestrator. Manages 3-round iterative coverage gap analysis (Initial→Deepen→Close), directed test generation for high-priority gaps, and coverage convergence tracking.