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.
npx skills add xi-zhao/OpenQuantum --skill quantum-circuit-verificationgit clone --depth 1 https://github.com/xi-zhao/OpenQuantumWrote 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/skills/xi-zhao/openquantum/quantum-circuit-verification)<a href="https://agentmods.dev/skills/xi-zhao/openquantum/quantum-circuit-verification"><img src="https://agentmods.dev/badge/skills/xi-zhao/openquantum/quantum-circuit-verification/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/skills/xi-zhao/openquantum/quantum-circuit-verification"><img src="https://agentmods.dev/badge/skills/xi-zhao/openquantum/quantum-circuit-verification.svg" alt="Reviewed on agentmods" width="80" height="20"></a>- NVIDIA SkillSpector pass
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.00118 | $0.01094 |
| Opus 5.5 | $0.00047 | $0.00438 |
| Sonnet 5.5 | $0.00024 | $0.00219 |
| Haiku 4.5 | $0.00012 | $0.00109 |
Grade A, and why
quantum-circuit-verification 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 — 62 lines — stays where its author put it; the contents beside it link to each section on GitHub.
量子电路等价性验证
原生 SDK 路径
本能力同时支持 MQT QCEC 的原生公开 API。用户需要 任意受支持电路、编译流程配置与等价性验证接口 时，由 Agent 在固定依赖环境中编写和运行任务代码，不限于下文便捷 Tool 的预设模型。
使用 node scripts/sdk-access.mjs inspect quantum-circuit-verification 定位环境，按完整 SDK 工作流执行。模块导航：mqt.qcec、qiskit；导航不是 API 白名单。
下文关于模型、门集、输入与预算的限制描述便捷 Tool 的合同；原生 SDK 另受上游版本、可选依赖、宿主资源与用户授权约束。已禁用或被拒绝的动作不能借代码路径绕过。执行状态和科研验收分别报告。
核心边界
核心对象是“一对待比较的unitary OpenQASM 2 电路”。Qiskit 电路工作台负责加载、转换、门数与深度分析；本 Skill 使用 MQT QCEC 回答更窄但更关键的问题：两个电路是否实现等价的量子变换。
- 提交两份量子位数相同的 OpenQASM 2 字符串；量子位、语句和文本长度由输入决定。
- 两份电路必须声明相同的总量子位数。
- 只允许标准
qelib1.inc；不接受任意 include 路径。 - 不接受
measure、reset、if、creg或opaque。 - 固定 10 秒 QCEC 超时，调用方不能扩大运行预算。
工作流
- 先确认比较目标：通常是原电路与转译/优化后的电路。
- 若输入是 OpenQASM 3 或 QPY，先用
$qiskit-circuit-workbench做受控转换；不要自行猜测语义。 - 调用
verify_circuit_equivalence，传入两份 QASM 文本，不传文件路径。主动作加载固定环境并返回packageVersion；依赖须显式准备；缺失或旧锁环境返回准备命令，不在 Tool 中安装。 - 按以下语义解释
result.equivalence：equivalent：QCEC 给出等价结论；equivalent_up_to_phase/equivalent_up_to_global_phase：只在用户目标允许相位等价时采用；not_equivalent：本次比较不等价；probably_equivalent/probably_not_equivalent/no_information：不确定，不能升级成确定结论。
- 同时报告实际包版本、输入 SHA-256、QCEC checker 记录、耗时和
provenance.complete=not_checked；环境不可用时报告工具错误，不编造结果。
必须保持的规则
- “门数更少”不等于语义等价，必须看 QCEC observation。
- provider 超时或
no_information不算电路语义失败，只算验证未交付。 circuits.equivalent=fail是科学 observation，不是 MCP 运行错误。- 相位等价必须原样报告，不能静默写成严格等价。
- 没有 Result Package 和 Session Event Log 来源链时，输出只能是
observations_available。
输出格式
- 两份输入摘要与 SHA-256；
- QCEC 的完整 criterion；
- checker 与耗时摘要；
- conclusive / equivalent / provenance 三类 observations；
- 适用范围和未验证项。
输入电路的量子位数和门数由调用方选择，适配器不额外设置人工规模上限。具体资源配置见本地计算说明。
依赖准备
运行前执行 node scripts/setup-paper-tools.mjs quantum-circuit-verification。缺失、旧锁和已安装环境的处理见共同准备说明；Tool 不自动安装或升级依赖。
What ships with it
6 files beside SKILL.md in the same directory: the scripts, references and assets a skill reads on demand. Not counted in the per-session cost; read them before you install if any of them is executable.
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 Changed · +11 lines 600f6d7a5aea
- 1mo ago Changed · +4 lines 5ef1153df399
- 1mo ago Changed · +2 lines · -3 tokens per session 0c6d399f7c01
- 1mo ago Changed · -1 lines 4a53df6ca677
- 1mo ago First seen · 46 lines · 121 tokens per session scan A 2db729b95dc9
quantum-circuit-verification is a skill published in the GitHub repository xi-zhao/OpenQuantum (71 stars, last pushed today), licensed MIT. It adds 118 tokens to every session and 1,094 once invoked, about $0.0005 per session on Opus 5.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 skills, from other repositories
discriminating-experiment-design
Recognize when a benchmark cannot discriminate between methods, construct experiment families that could, sweep structural knobs without sweeping the decision itself, and report a tie that survives as the headline result. Use when all methods score the same on your benchmark, when designing a new evaluation world or…
i4h-catheter-navigation-e2e
End-to-end smoke for catheter navigation covering setup, digital twin, DRR, and unit tests. Use when asked to run the full catheter workflow smoke or demo the v0.7 pipeline.
nw-tlaplus-verification
TLA+ formal verification for design correctness and PBT pipeline integration.
blazemeter-api-reference
Comprehensive reference for BlazeMeter REST APIs, including authentication, identifiers, and API endpoints. Use when working with BlazeMeter APIs for (1) Understanding BlazeMeter REST API structure, (2) Authenticating API requests, (3) Obtaining identifiers (Workspace ID, Project ID, Test ID, etc.), (4) Using Test…
blazemeter-getting-started
Getting started guides for BlazeMeter, including onboarding, migration guides, continuous testing journey, glossary, and mobile testing. Use when getting started with BlazeMeter for (1) Navigating BlazeMeter University onboarding, (2) Migrating from Runscope or JMeter, (3) Understanding the continuous testing journey…
blazemeter-service-virtualization
Comprehensive guide for BlazeMeter Service Virtualization, including virtual services, transactions, templates, and management. Use when working with Service Virtualization for (1) Creating virtual services and transactions, (2) Managing services (clone, export/import, rename/delete), (3) Using templates and…