IC CoderIC Hub
返回 Skill 市场
C
功能验证official

Coverage Closure Pilot

Analyze coverage reports, classify gaps, and propose targeted stimulus or model fixes with plateau detection.

CoverageRegressionUVMDebug
公开摘要

When to use

Use this skill after early regressions begin producing stable coverage reports. It maps uncovered bins back to spec intent and proposes focused tests, covergroup fixes, or unreachable-code questions.

Inputs

  • Coverage reports from VCS, Xcelium, Questa, or compatible exports.
  • Test list and seed history.
  • Spec sections tied to coverage goals.

Outputs

  • Gap classification.
  • Next-test recommendations.
  • Plateau warnings.
  • Closure notes for review.
  • Optional gap table based on `references/gap-

完整 SKILL.md 正文和真实下载包等待下载授权接入

当前阶段先公开摘要、元数据、版本历史、包摘要和脱敏下载记录;IC Coder 统一账号代理已接入,后续再按团队权限解锁完整内容和签名下载链接。

Benchmark

37/40 cases passed,等级 A

安全扫描

format-check / secret-scan / runtime-sandbox

版本

v1.0.3,更新于 2026-05-31

自动审核报告

第三阶段静态审核流水线已经为该 Skill 生成报告;真实 Semgrep、Trivy、Docker 沙箱可在后续替换当前本地执行器。

查看完整报告
审核状态
已通过
Benchmark
91
检查项
7/7
文件数
2
SKILL.md format and section validation: 通过Hardcoded secret scan: 通过High-risk behavior scan: 通过Declared dependency inventory: 通过Sandbox dry-run readiness: 通过Benchmark evidence completeness: 通过Human review gate: 通过
CLI / MCP 一键安装

第四阶段已经为该 Skill 生成 Codex、Claude Code、Cursor 和 MCP 安装计划。正式下载仍等统一账号授权,但 dry-run、路径校验和 manifest 已经可用。

Manifest API
Codex dry-run
pnpm ichub install coverage-closure-pilot --agent codex --scope user --dry-run
正式安装
pnpm ichub install coverage-closure-pilot --agent codex --scope user
写入 Codex 官方 Agent Skills 目录,保留完整 SKILL.md 与参考资料。
格式
Skill directory
目标路径
user: ~/.agents/skills/coverage-closure-pilotproject: .agents/skills/coverage-closure-pilot
  1. 1读取本地 skills/ 目录并校验 SKILL.md 元数据。
  2. 2复制 Skill 目录到 Codex Agent Skills 目标路径。
  3. 3保留 references、scripts、assets 等随包资源,便于 Codex 按描述自动触发。
  4. 4该 Skill 已通过当前静态审核门禁;安装前仍建议核对版本和 SHA256。

兼容旧版 Codex Desktop 的 .codex/skills 路径可用 CLI 的 --agent codex-legacy 兜底。

版本历史
v1.0.3当前版本
2026-05-31
  • 通过当前格式校验、安全扫描、依赖校验和 Benchmark 记录。
  • 同步 Skill metadata、安装说明和下载包审计信息。

sha256:9d4b1c65

v1.0.2历史版本
2026-05-17
  • 补齐 Guardrails 与 Compliance 段落。
  • 增加 IC Coder 官方维护标识和兼容 Agent 标记。

sha256:372a1855

v1.0.1历史版本
2026-04-26
  • 首次进入静态 registry。
  • 完成基础摘要、标签、分类和公开元数据整理。

sha256:372a1856

下载记录预览

当前展示脱敏静态记录,用于验证产品页面结构;真实记录会在统一账号、下载授权、对象存储签名链接接入后写入数据库。

记录申请方状态
DL-AE18F27Bry***@pyjtkj.com待账号
DL-AE18F27Cfpga-team-01已签名
DL-AE18F27Dedu-lab-trial已过期