New: 98,000+ skills indexed from GitHub repos with 100+ stars · every skill safety-checkedBrowse top skillsTop skills
Esc to closeBrowse all skills
Submit a skillBrowse skills
Submit a skillBrowse skills

Agent skill

Xverif

by BLANK2077 in BLANK2077/xverif

用于芯片验证中的确定性事实查询和计算：daidir/FSDB debug、coverage、 SystemVerilog bit 计算、entry 解码、日志位置恢复、SVA 解释和波形渲染。

MITAuto-check passed

Install Xverif

skills CLI
$ npx skills add BLANK2077/xverif --skill xverif -a claude-code

Project install by default; add -g for ~/.claude/skills/.

GitHub CLI
$ gh skill install BLANK2077/xverif xverif --agent claude-code

Project scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).

Manual copy
$ git clone --depth 1 https://github.com/BLANK2077/xverif.git skills-src && mkdir -p .claude/skills && cp -r skills-src/skills/xverif .claude/skills/xverif && rm -rf skills-src

Use ~/.claude/skills/ instead of .claude/skills for a personal install. The folder must contain SKILL.md.

Claude Code skills documentation · loads skills from .claude/skills/

Facts

Skill name
xverif
GitHub stars
108
Token cost
~931 tokens
SKILL.md length
284 words
Files
30 (incl. scripts, references)
Skills in repo
5
Repo updated
First seen
Licence
MIT

At a glance

用于芯片验证中的确定性事实查询和计算：daidir/FSDB debug、coverage、 SystemVerilog bit 计算、entry 解码、日志位置恢复、SVA 解释和波形渲染。

  • Works in 9 steps: 明确问题和必须保留的证据。 → 任何 xdebug 任务先读取一次完整 action guide：MCP 调用无参数 → 优先 MCP；原生 envelope、shell 或一次性脚本使用… → …
  • SKILL.md covers 任务路由, 标准流程 and 禁止事项

What it does

Xverif is an agent skill from BLANK2077/xverif. 用于芯片验证中的确定性事实查询和计算：daidir/FSDB debug、coverage、 SystemVerilog bit 计算、entry 解码、日志位置恢复、SVA 解释和波形渲染。 先按任务选择能力，再按环境选择 MCP 或 CLI。批量 pynpi 分析用 x-npi， 运维用 xverif-admin，持续知识用 xwiki。

Its SKILL.md is about 930 tokens, which your agent loads only when the skill is triggered. The skill folder holds 36 other files, including scripts and reference files (for example `agents/openai.yaml`, `references/capabilities/xdebug.md` and `references/core/evidence-contract.md`).

It works with Model Context Protocol. The repository describes itself as: xverif is a local toolkit for chip-verification debug agents. It contains deterministic tools for design and waveform debug, coverage, bit calculations, structured entry…. The licence is MIT.

Example prompts

  • “/xverif”

Workflow steps

9 steps, taken from the first numbered list in SKILL.md.

  1. 明确问题和必须保留的证据。
  2. 任何 xdebug 任务先读取一次完整 action guide：MCP 调用无参数
  3. 优先 MCP；原生 envelope、shell 或一次性脚本使用 CLI。AI/MCP/交互查询默认
  4. 对选定 action 调用 action-specific schema，不猜字段；MCP 同时遵守
  5. 对关键接口或一组关键信号，先按 schema 生成 JSON config，并通过
  6. config load 成功后读取响应中的 recommended_actions，第一项应为
  7. 先执行最小受限查询，再根据证据扩展。
  8. 输出结论、signal/path、time/range、value、file:line、action/tool、error/finding；
  9. xcov exclusion 任务严格遵循“可选加载 exclusion、查询摘要、导出具体缺口、补激励或带

What it can do on your machine

Read from SKILL.md and the folder at commit 25bb715. It shows what the files ask for, not the result of running them.

  • Tool permissions

    Pre-approves nothing: there is no allowed-tools line, so your agent's usual permission prompts apply.

    From allowed-tools in the SKILL.md frontmatter.

  • Runs code

    Ships 1 file in scripts/, which the agent can run.

    From the folder's file list and the shell code blocks in SKILL.md.

  • Network

    No URLs in SKILL.md.

    From URLs in SKILL.md, links to its own repository left out.

  • Credentials

    Names no API keys, tokens, secrets or passwords.

    From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.

Context cost

Xverif loads about 931 tokens when it runs, and up to ~39k if it reads all its reference files. Until then it costs about 45 tokens; SKILL.md has 284 words of instructions outside code blocks.

Always · name and description, kept in context so the agent knows when to use it
~45
When it runs · the whole SKILL.md, loaded when a task matches
~931
With references · SKILL.md plus every file in references/, read only if the agent opens them
~39k

Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.

Safety

Auto-check passed

The automated check found no risky patterns in SKILL.md.

Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); the scripts in this folder are not scanned.

SKILL.md

The full file from BLANK2077/xverif at commit 25bb715, republished under its MIT licence (© BLANK2077). 284 words, ~931 tokens.

Download SKILL.mdSave it as .claude/skills/xverif/SKILL.md (or your agent's skills folder). This skill also uses 29 other files; get the full folder from GitHub.
name
xverif
description
用于芯片验证中的确定性事实查询和计算：daidir/FSDB debug、coverage、 SystemVerilog bit 计算、entry 解码、日志位置恢复、SVA 解释和波形渲染。 先按任务选择能力，再按环境选择 MCP 或 CLI。批量 pynpi 分析用 x-npi， 运维用 xverif-admin，持续知识用 xwiki。

xverif

这是唯一通用隐式入口。先判断用户要解决的问题，不要先猜 CLI/MCP。

Coverage exclusion 必须先持久化再关闭 session。 exclude.add 的 reason 只存在于 当前 xcov session；关闭 session 会永久丢失尚未导出的 reason。完成 coverage 分析后， 必须先执行 exclude.csv.export，再执行 export.exclude，确认两类文件均成功后才能关闭。 assert/function exclusion 先读取结构化 XOUT/JSON 的 Axxxx/FCxxxx gap；禁止使用已删除的 exclusion selector 参数。关闭或丢失 session 后，尚未导出的 reason 无法恢复。 Instance/covergroup/coverpoint/cross 容器使用专用 exclude.instance.* 与 exclude.functional.* action；不支持 module selector。递归 instance 只依据 URG XML 真实层次， remove 只依据 session 已记录的 exact ownership。

任务路由

用户意图能力参考
信号、scope、driver/load、波形、协议、active driver、窗口证明xdebug
VDB coverage、hole、scope、源码 evidencexcov
literal、slice、mask、表达式xbit
entry/descriptor/header fieldsxentry
恢复 L_XXXXXXXX 源码位置xloc
SVA temporal semanticsxsva
list.export 后渲染 JPG/statsxwaveform workflow
全量 xdebug action 的用途和合同入口全量 action 索引
MCP/CLI 请求包装surface 选择
XOUT/JSON 输出选择token-first 输出策略
统一证据字段和完整性判定证据合同
同一 canonical example 的三种请求包装生成的 surface 示例

批量 FSDB 扫描或自定义报告使用 x-npi；coverage 读取即使通过 x-npi 编写离线脚本也应使用 其固定 full64 URG helper，不能启动 NPI 全树遍历。x-npi 的 coverage NPI 仅用于 exclusion target 必要遍历和 EL load/set/save/unload。安装、LSF、transport、timeout、session 运维使用 xverif-admin；项目长期知识使用 xwiki。

标准流程

  1. 明确问题和必须保留的证据。
  2. 任何 xdebug 任务先读取一次完整 action guide：MCP 调用无参数 xverif_tools；原生 CLI 或 SDK-free LSF 提交 actions request，并设置 args.output.view="guide"。guide 每行只有 action 名和精简 purpose，不含 status； 不能按记忆、前缀或局部搜索猜 action。随后查询选定 action schema 获取精确参数 和使用指导，并读取对应 capability/workflow；离线全量索引用于复核。
  3. 优先 MCP；原生 envelope、shell 或一次性脚本使用 CLI。AI/MCP/交互查询默认 使用 token-efficient XOUT；只有精确字段编程、schema 校验、结构化持久化或 用户明确要求时才请求 JSON。具体包装见 surface 与输出格式 reference。
  4. 对选定 action 调用 action-specific schema，不猜字段；MCP 同时遵守 session_contract，resource variant 必须有 session，requires:none variant 禁止 session。schema 返回 skill_guidance 时必须读取其中指定的本 skill reference。
  5. 对关键接口或一组关键信号，先按 schema 生成 JSON config，并通过 list.load、stream.config.load、axi.config.load 或 apb.config.load 加载，再用对应 list/get/show/validate/describe 确认解析结果。
  6. config load 成功后读取响应中的 recommended_actions，第一项应为 value.at；它接受 signal、list、apb、stream、axi 中恰好一个 selector，以及 time 或有序且不重复的 times。多个时间点一次提交。
  7. 先执行最小受限查询，再根据证据扩展。
  8. 输出结论、signal/path、time/range、value、file:line、action/tool、error/finding； 同时报告 canonical 完整性字段并保留 action-specific status 与 unknowns。
  9. xcov exclusion 任务严格遵循“可选加载 exclusion、查询摘要、导出具体缺口、补激励或带 reason 排除、复查、先导出 CSV 再导出 EL、最后关闭 session”的流程；详见 xcov reference。

禁止事项

  • 不把 MCP 参数壳写进原生 envelope，也不把 CLI target/envelope 写进 MCP query。
  • 不因失败自动切换 surface、环境、transport、backend、数据源或测试层级。MCP 由 mcp_ssh 远端注入时，远端不可达就报错并交用户决定，不改走本地 CLI、本地 MCP 或 SDK-free。
  • scan_complete=false、analysis_complete=false 或 response_truncated=true 时不作全量结论。
  • 不把波形图片当唯一证据；图片用于宏观观察，结论回到确定性 action 验证。
  • 不为多个信号或多个时间点反复调用 xverif_batch。xverif_batch 只用于彼此 不同的 MCP tool/action 组成的严格串行工作流；多个时间点统一使用一次 value.at。
  • 未授权时不修改 xwiki、不创建项目 config、不执行 EDA 命令。

© BLANK2077, MIT. Rendered from Markdown: HTML in the file is shown as text, images as links, and headings moved down two levels. Raw file

Files

SKILL.md and 29 other files (scripts, references) in skills/xverif of BLANK2077/xverif.

  • SKILL.md
  • agents/openai.yaml
  • references/capabilities/xdebug.md
  • references/core/evidence-contract.md
  • references/core/execution-model.md
  • references/core/output-formats.md
  • references/generated/surface-examples.md
  • references/generated/xdebug-actions.md
  • references/surfaces/cli.md
  • references/surfaces/mcp.md
  • references/surfaces/sdk-free-loop.md
  • references/workflows/waveform-render.md
  • references/xbit.md
  • references/xcov.md
  • … and 16 more

Open the folder on GitHubat commit 25bb715

Compare with similar skills

Xverif next to the 5 skills that share the most tags, products or categories with it. Stars are the repository's; “used in” counts other GitHub owners with a copy.

Xverif compared with similar skills
SkillStarsUsed inTokensAuto-checkLicenceRepo updated
Xverif this skillBLANK2077/xverif108—~931Automated safety check: PassMIT
MCP Server Builderanthropics/skills180k63 repos~2.3kAutomated safety check: PassApache-2.0
MCP Server BuildershareAI-lab/learn-claude-code78k4 repos~1.2kAutomated safety check: PassMIT
MCP Integration for Pluginsanthropics/claude-plugins-official38k11 repos~3.1kAutomated safety check: PassApache-2.0
Figma use_figma Plugin API Ruleswarpdotdev/warp65k4 repos~4.4kAutomated safety check: PassAGPL-3.0
Stitch to Remotion Walkthrough Videosgoogle-labs-code/stitch-skills8.5k6 repos~3.2kAutomated safety check: NotesApache-2.0

Similar skills

  • MCP Server Builder

    anthropics/skills

    Official

    Guides the design and implementation of Model Context Protocol servers in TypeScript or Python, from tool naming and error messages to evaluation.

    180k GitHub starsUsed in 63 repos~2.3k tokens
    Agent WorkflowsAuto-check passed

  • MCP Server Builder

    shareAI-lab/learn-claude-code

    Walks through building MCP servers in Python or TypeScript that expose tools, resources and prompts to Claude, with templates, registration and testing.

    78k GitHub starsUsed in 4 repos~1.2k tokens
    Agent WorkflowsAuto-check passed

  • MCP Integration for Plugins

    anthropics/claude-plugins-official

    Official

    Explains how to bundle Model Context Protocol servers in a Claude Code plugin, covering config files, stdio, SSE, HTTP and WebSocket server types, and authentication.

    38k GitHub starsUsed in 11 repos~3.1k tokens
    Agent WorkflowsAuto-check passed

  • Figma use_figma Plugin API Rules

    warpdotdev/warp

    Required groundwork before any use_figma call: the rules and reference files for running JavaScript in a Figma file through the Plugin API without common failures.

    65k GitHub starsUsed in 4 repos~4.4k tokens
    Frontend & DesignAuto-check passed

  • Stitch to Remotion Walkthrough Videos

    google-labs-code/stitch-skills

    Official

    Builds walkthrough videos from Stitch design projects using Remotion, with transitions, zoom effects and text overlays on each screen.

    8.5k GitHub starsUsed in 6 repos~3.2k tokens
    Media & CreativeAuto-check: notes

  • MCP Development

    coollabsio/coolify

    A skill your agent uses for Laravel MCP development. An agent skill from coollabsio/coolify.

    63k GitHub starsUsed in 1 repo~949 tokens
    Frontend & DesignAuto-check passed

More from BLANK2077/xverif

  • X Npi

    BLANK2077/xverif

    当 AI agent 需要使用 Synopsys pynpi 编写 Python 脚本，进行批量 FSDB 波形统计、值扫描、APB/AXI/valid-ready stream 协议分析、VCS/Verdi coverage database 查询，或静态设计 driver/load 查询时使用。离线大规模分析脚本和报告优先使用本 skill；xdebug 风格的实时…

    108 GitHub stars~1.4k tokensUpdated today
    Auto-check passed

  • Xsimdebug

    BLANK2077/xverif

    当 AI agent 需要定位 SystemVerilog/UVM 验证问题、重新编译代价过高或不允许再次编译，并需要直接通过终端 PTY 使用 Synopsys VCS UCLI 或 Cadence Xcelium/Xrun Tcl 实时调试正在运行的仿真时使用，包括断点、Ctrl-C 暂停、运行时变量查询和控制流。若已有仿真 log 已足以定位问题，则不使用本 skill。

    108 GitHub stars~590 tokensUpdated today
    Auto-check passed

  • Xwiki

    BLANK2077/xverif

    当 AI agent 需要在芯片验证任务中复用持续记忆时使用：查询或维护由 XWIKIDIR 指向的验证项目 LLM wiki，了解验证环境、DUT 功能、 接口、testbench、sequence、checker、coverage、workflow、debug 入口、 BT/IT/ST/SoC 项目上下文，并在用户明确要求、项目 AGENTS.md 授权或任务明确…

    108 GitHub stars~1.4k tokensUpdated today
    Auto-check passed

  • Xverif Admin

    BLANK2077/xverif

    用于 xverif 的安装配置、MCP direct/LSF backend、ssh 远端 MCP（mcpssh）、 SDK-free LSF CLI、UDS/TCP/file transport、session tombstone/gc、timeout、 环境变量、license 和 server 启动排障。普通波形、coverage、bit 或协议查询使用 xverif。

    108 GitHub stars~428 tokensUpdated today
    Auto-check passed

Works with

Questions about Xverif

What does Xverif do?

用于芯片验证中的确定性事实查询和计算：daidir/FSDB debug、coverage、 SystemVerilog bit 计算、entry 解码、日志位置恢复、SVA 解释和波形渲染。. Xverif is an agent skill from BLANK2077/xverif.

How do I install Xverif in Claude Code?

Run `npx skills add BLANK2077/xverif --skill xverif -a claude-code`. Or copy the skill folder (skills/xverif in BLANK2077/xverif) into .claude/skills/xverif in your project. Claude Code loads it when a task matches its description.

How do I install Xverif in Codex?

Run `npx skills add BLANK2077/xverif --skill xverif -a codex`. Or copy the skill folder (skills/xverif in BLANK2077/xverif) into .agents/skills/xverif in your project. Codex loads it when a task matches its description.

Can I use Xverif in Cursor, Gemini CLI or GitHub Copilot?

Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add BLANK2077/xverif --skill xverif -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/xverif, .gemini/skills/xverif, .github/skills/xverif and .opencode/skills/xverif in your project.

What does Xverif need to run?

SKILL.md names no scripts, command-line tools or credentials: Xverif is instructions for the agent only.

Does Xverif access the network?

SKILL.md contains no URLs. Any network use would come from the scripts or tools the agent runs. This is read from the text; nothing was executed.

Is Xverif safe to install?

Our automated static check of SKILL.md found no risky patterns, such as piping downloads into a shell, reading credential files or hidden Unicode. It is not a guarantee. The check reads SKILL.md only: the scripts in the folder are not scanned, so read them before running anything.

What licence does Xverif use?

Xverif is published under the MIT licence (the repository's licence). It allows redistribution, so the full SKILL.md is shown on this page.

How many tokens does Xverif use?

About 931 tokens (SKILL.md is roughly 3.7k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full. Its references folder adds about 38k tokens, read only when the agent opens those files.

What are the alternatives to Xverif?

Skills that share tags, products or a category with Xverif: MCP Server Builder (anthropics/skills, 180k stars), MCP Server Builder (shareAI-lab/learn-claude-code, 78k stars), MCP Integration for Plugins (anthropics/claude-plugins-official, 38k stars) and Figma use_figma Plugin API Rules (warpdotdev/warp, 65k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.

Who maintains Xverif?

BLANK2077 (a GitHub user) maintains it in BLANK2077/xverif, which has 108 GitHub stars. The repository holds 5 skills in this directory. The repository was last updated on October 10, 2026.

Source: BLANK2077/xverif on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.