quantum-circuit-verification SKILL.md skillA
quantum-circuit-verification from xi-zhao/openquantum is an agent skill: a SKILL.md folder an AI agent loads when a task calls for it.
mdr add xi-zhao/openquantum/quantum-circuit-verification@git:20261028.e70af17Pins git:20261028.e70af17 in mdr.lock. Pin the fingerprint instead.
- Audit grade
- A, 17 of 17 checks passed
- Kind
- SKILL.md skill
- Repository
- xi-zhao/openquantum
- Path
.agents/skills/quantum-circuit-verification/SKILL.md- Versions recorded
- 8
- Latest version
- git:20261028.e70af17, committed Oct 28, 2026
- First version recorded
- Aug 24, 2026
- Size
- 5,745 bytes
- Repository stars
- 71
- License
- MIT
使用 OpenQuantum 的固定版本 MQT QCEC 本地检查两份无测量的 OpenQASM 2 量子电路是否等价，并区分严格等价、相位等价、不等价、概率性结果和无信息结果。用于转译前后语义验证、电路重写审计和回归检查；不用于含测量/经典控制的动态电路、真实硬件、任意文件路径，或在缺少来源链时宣称最终科学验收通过。.
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
# 量子电路等价性验证 <!-- BEGIN NATIVE SDK ACCESS --> ## 原生 SDK 路径 本能力同时支持 **MQT QCEC 的原生公开 API**。用户需要 任意受支持电路、编译流程配置与等价性验证接口 时，由 Agent 在固定依赖环境中编写和运行任务代码，不限于下文便捷 Tool 的预设模型。 使用 `node scripts/sdk-access.mjs inspect quantum-circuit-verification` 定位环境，按[完整 SDK 工作流](../quantum-sdk-workbench/references/workflow.md)执行。模块导航：`mqt.qcec`、`qiskit`；导航不是 API 白名单。 下文关于模型、门集、输入与预算的限制描述便捷 Tool 的合同；原生 SDK 另受上游版本、可选依赖、宿主资源与用户授权约束。已禁用或被拒绝的动作不能借代码路径绕过。执行状态和科研验收分别报告。 <!-- END NATIVE SDK ACCESS --> ## 核心边界 核心对象是“一对待比较的unitary OpenQASM 2 电路”。Qiskit 电路工作台负责加载、转换、门数与深度分析；本 Skill 使用 MQT QCEC 回答更窄但更关键的问题：两个电路是否实现等价的量子变换。 - 提交两份量子位数相同的 OpenQASM 2 字符串；量子位、语句和文本长度由输入决定。 - 两份电路必须声明相同的总量子位数。 - 只允许标准 `qelib1.inc`；不接受任意 include 路径。 - 不接受 `measure`、`reset`、`if`、`creg` 或 `opaque`。 - QCEC 的 `timeoutSeconds=0` 表示后端不设固定超时；实际调用仍服从宿主的资源策略与取消信号。 ## 工作流 1. 先确认比较目标：通常是原电路与转译/优化后的电路。 2. 若输入是 OpenQASM 3 或 QPY，先用 `$qiskit-circuit-workbench` 做受控转换；不要自行猜测语义。 3. 调用 `verify_circuit_equivalence`，传入两份 QASM 文本，不传文件路径。主动作加载固定环境并返回 `packageVersion`；依赖须显式准备；缺失或旧锁环境返回准备命令，不在 Tool 中安装。 4. 按以下语义解释 `result.equivalence`： - `equivalent`：QCEC 给出等价结论； - `equivalent_up_to_phase` / `equivalent_up_to_global_phase`：只在用户目标允许相位等价时采用； …
Read the whole file at its exact version.
How to install
mdr add xi-zhao/openquantum/quantum-circuit-verification@sha256:1eb661f008679ed9The line at the top of this page pins the label git:20261028.e70af17, 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.
[](https://markdownregistry.com/a/art_7bgbcnp36bzeowg3)
2 badge image fetches in 30 days. What the badge shows.
Versions
The registry has recorded 8 versions of this file, between Aug 24, 2026 and Oct 28, 2026, about one every 9 days.
| version | committed | commit | size | audit | |
|---|---|---|---|---|---|
| git:20261028.e70af17 latest | 2026-10-28 | e70af17 | 5,745 B | A | view · diff |
| git:20261012.58e993c | 2026-10-12 | 58e993c | 4,096 B | A | view · diff |
| git:20261012.5ce3b3e | 2026-10-12 | 5ce3b3e | 4,085 B | A | view · diff |
| git:20260924.1dc6767 | 2026-09-24 | 1dc6767 | 3,242 B | A | view · diff |
| git:20260914.0f1d7a8 | 2026-09-14 | 0f1d7a8 | 2,980 B | A | view · diff |
| git:20260914.cc4fa9e | 2026-09-14 | cc4fa9e | 3,094 B | A | view · diff |
| git:20260905.d6752db | 2026-09-05 | d6752db | 2,768 B | A | view · diff |
| git:20260824.1fb7141 | 2026-08-24 | 1fb7141 | 2,634 B | A | view |
Audit of the latest version
- pass: Frontmatter block present
- pass: Frontmatter declares a name
- pass: Frontmatter declares a description
- pass: Size between 200 bytes and 200 KB (5745 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
xi-zhao/openquantum · 71 stars · license MIT · pushed 2026-11-05 · branch main
API
GET https://markdownregistry.com/api/v1/artifacts/art_7bgbcnp36bzeowg3 GET https://markdownregistry.com/api/v1/resolve?ref=xi-zhao/openquantum/quantum-circuit-verification GET https://markdownregistry.com/api/v1/blob/1eb661f008679ed911f43fd164b00707410e0eb31d233ae31c52de108c6efa55
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: the SKILL.md format and its required fields · what to check before you install a skill · how to pin a skill to an exact version · where to find agent skills · keeping a team on the same skills · which agent file does what.