AGENTS.mdA

AGENTS.md from blank2077/xverif is an AGENTS.md file: the standing instructions coding agents read in that repo.

Install it, pinned
mdr add blank2077/xverif/AGENTS.md@git:20261008.0f531d4

Pins git:20261008.0f531d4 in mdr.lock. Pin the fingerprint instead.

Audit grade
A, 14 of 14 checks passed
Kind
AGENTS.md file
Repository
blank2077/xverif
Path
AGENTS.md
Versions recorded
7
Latest version
git:20261008.0f531d4, committed Oct 8, 2026
First version recorded
Aug 12, 2026
Size
19,361 bytes
Repository stars
114
License
MIT

Collected from public GitHub. Every version is saved exactly as it was and never changes. Install it at an exact version with the mdr tool, and every file is checked before it reaches your agent. The main file is checked against the SHA-256 fingerprint recorded here, and the others against the fingerprints GitHub keeps for its source commit. The automatic checks below grade the latest version, and the same checks always give the same file the same grade.

What the file says

# AGENTS.md

本文件是本仓库的 agent 工作规则入口。所有 agent 先读本文件,再按任务读取更细的外部材料。

## 基本沟通

- 必须使用中文和用户沟通。
- 回答要直接、具体、证据驱动;不把猜测当事实。
- 当结论依赖仓库状态、schema、测试输出或环境行为时,先检查真实文件和命令结果。
- 用户明确要求实现时,直接完成实现、验证和交付说明;用户要求计划、评审或只读探索时,不越界修改。

## 执行前确认

- 除非用户明确要求直接执行,否则每次执行前至少给出三个可选方案,并交由用户选择。
- 计划阶段和实现阶段必须分清:计划阶段不修改 repo;实现阶段按已确认计划落地。
- 如果用户已经明确给出 `PLEASE IMPLEMENT THIS PLAN`、`开始实现`、`提交`、`推送` 等指令,可按该指令执行,不再重复询问同一决策。

## 权限与环境

- 所有 NPI、VCS 仿真、VIP、真实 license、真实 LSF、真实 EDA 工具动作,默认在沙箱外运行。
- 遇到进程通信、网络端口、文件系统、license、UDS/TCP/file transport、MCP stdio-loop 等问题,先判断是否为沙箱差异,再判断产品、SDK 或代码问题。
- 沙箱内失败不能直接当作产品回归;需要时做 sandbox-vs-host 对照,并在结果里说明执行位置。
- 不打印 access token、refresh token、cookie、完整唯一 ID 或其它敏感凭据。

## Fallback 规则

- 除非用户明确要求,不允许私自 fallback。
- 如果确实需要 fallback,必须先向用户说明原因、风险和替代路径,并等待确认。
- 不能因为某个环境动作失败就静默切换 transport、后端、数据源、测试层级或工具入口。

## Git 规则

- git commit 信息必须使用中文,并写清楚动机、范围和验证情况。
- 提交前必须运行 `git status --short`,确认只包含本次相关文件。
- 不使用 `git add .` 盲目打包;优先显式列文件,或在只提交已跟踪改动时使用 `git add -u`。
- 不回滚用户或其它进程产生的无关改动。
- 用户要求推送远端时,提交后推送当前目标分支,并回报 commit id 和推送结果。

## 项目概述

`xverif` 是面向芯片验证工作的工具集合,提供 debug、coverage、bit 计算、日志定位、协议/断言辅助和 agent/MCP 集成能力。
…

Read the whole file at its exact version.

How to install

The exact contents, by fingerprint
mdr add blank2077/xverif/AGENTS.md@sha256:1db03eed1bcf4059

The line at the top of this page pins the label git:20261008.0f531d4, which is what most people want. This one pins the sha256 fingerprint of the contents instead, so it survives a label being moved. Either way the exact version is written to mdr.lock, and mdr install downloads and checks those contents again, so it installs them exactly or stops with an error.

Badge

mdr badge

[![mdr](https://markdownregistry.com/badge/art_geclgf4wewhn5bp7.svg)](https://markdownregistry.com/a/art_geclgf4wewhn5bp7)

2 badge image fetches in 30 days. What the badge shows.

Versions

The registry has recorded 7 versions of this file, between Aug 12, 2026 and Oct 8, 2026, about one every 9 days.

versioncommittedcommitsizeaudit
git:20261008.0f531d4 latest2026-10-08 0f531d4 19,361 BA view · diff
git:20260921.a8ff3692026-09-21 a8ff369 18,822 BA view · diff
git:20260907.f2fd91f2026-09-07 f2fd91f 42,822 BB view · diff
git:20260907.21dd95f2026-09-07 21dd95f 42,345 BB view · diff
git:20260814.2f80afb2026-08-14 2f80afb 41,753 BB view · diff
git:20260814.7c0d1df2026-08-14 7c0d1df 40,687 BB view · diff
git:20260812.beef2722026-08-12 beef272 39,167 BA view

Audit of the latest version

A  14 of 14 checks passed. Fixed automatic checks with no AI involved, so the same checks give the same answer every run.
  • pass: Size between 200 bytes and 200 KB (19361 bytes)
  • pass: No zero-width or bidi control characters
  • pass: No instruction hidden inside an HTML comment
  • pass: No link to an exfiltration or paste host
  • pass: No credential-shaped string
  • pass: No instruction to send local credentials anywhere
  • pass: No text hidden with inline styles
  • pass: No prompt-injection phrasing
  • pass: No curl or wget piped into a shell
  • pass: No recursive delete of root, home or parent
  • pass: No instruction to read or print local credentials
  • pass: No base64 blob over 200 characters
  • pass: No link to a raw IP address
  • pass: No script tag

Source

GitHub

blank2077/xverif · 114 stars · license MIT · pushed 2026-10-21 · branch master

API

GET https://markdownregistry.com/api/v1/artifacts/art_geclgf4wewhn5bp7
GET https://markdownregistry.com/api/v1/resolve?ref=blank2077/xverif/AGENTS.md
GET https://markdownregistry.com/api/v1/blob/1db03eed1bcf4059513e0020f7af9e9d7d71a521936eae49daa4bcb207569182

Your AI assistant does the legwork. You hear about the deals worth your word. Hand yours the standing instructions at modelranch.com and it joins the network that reads files like this one.

Guides: how to write a good AGENTS.md · AGENTS.md vs CLAUDE.md · which agent file does what.

More from blank2077/xverif

CLAUDE.md CLAUDE.md file
blank2077/xverif · CLAUDE.md
git:20260707.780fe4c · audit B · 114 stars
x-npi SKILL.md skill
blank2077/xverif · skills/x-npi/SKILL.md · 当 AI agent 需要使用 Synopsys pynpi 编写 Python 脚本,进行批量 FSDB 波形统计、值扫描、APB/AXI/valid-ready stream 协议分析、VCS/Verdi coverage…
git:20260813.470c4af · audit A · 114 stars
xsimdebug SKILL.md skill
blank2077/xverif · skills/xsimdebug/SKILL.md · 当 AI agent 需要定位 SystemVerilog/UVM 验证问题、重新编译代价过高或不允许再次编译,并需要直接通过终端 PTY 使用 Synopsys VCS UCLI 或 Cadence Xcelium/Xrun Tcl…
git:20260814.2f80afb · audit A · 114 stars
xverif-admin SKILL.md skill
blank2077/xverif · skills/xverif-admin/SKILL.md · 用于 xverif 的安装配置、MCP direct/LSF backend、ssh 远端 MCP(mcp_ssh)、 SDK-free LSF CLI、UDS/TCP/file transport、session…
git:20260921.0262caf · audit A · 114 stars
xverif SKILL.md skill
blank2077/xverif · skills/xverif/SKILL.md · 用于芯片验证中的确定性事实查询和计算:daidir/FSDB debug、coverage、 SystemVerilog bit 计算、entry 解码、日志位置恢复、SVA 解释和波形渲染。 先按任务选择能力,再按环境选择 MCP 或…
git:20260921.0262caf · audit A · 114 stars
xwiki SKILL.md skill
blank2077/xverif · skills/xwiki/SKILL.md · 当 AI agent 需要在芯片验证任务中复用持续记忆时使用:查询或维护由 XWIKI_DIR 指向的验证项目 LLM wiki,了解验证环境、DUT 功能、…
git:20260921.4642eea · audit A · 114 stars

Every file in blank2077/xverif

Other files named AGENTS.md

AGENTS.md AGENTS.md file
morluto/rea · AGENTS.md
git:20261102.920d634 · audit A · 433,876 stars
AGENTS.md AGENTS.md file
obra/superpowers · AGENTS.md
git:20261020.b739a8a · audit A · 314,583 stars
AGENTS.md AGENTS.md file
affaan-m/ecc · AGENTS.md
git:20261030.f29e332 · audit A · 299,696 stars
AGENTS.md AGENTS.md file
firecrawl/firecrawl · AGENTS.md
git:20261008.5a75dca · audit A · 199,595 stars
AGENTS.md AGENTS.md file
dietrichgebert/ponytail · AGENTS.md
git:20261008.2a1fe84 · audit A · 185,249 stars
AGENTS.md AGENTS.md file
graphify-labs/graphify · AGENTS.md
git:20260926.98d73fe · audit A · 144,492 stars
AGENTS.md AGENTS.md file
garrytan/gstack · AGENTS.md
git:20261107.ef99eb5 · audit A · 140,694 stars
AGENTS.md AGENTS.md file
juliusbrussee/caveman · AGENTS.md
git:20261106.e45976c · audit A · 118,366 stars

Browse by kind, by grade A, or by owner.