attest

仓库创建 2026年1月7日最近提交 2 天前SkillHot 收录 21 天前

▸ 精选理由

适合需要严格需求可追溯与自动化验收的产品与测试团队

这个 Skill 做什么

从规格提取验收条件并对实现进行对抗性合规验证，生成 BDD 场景与报告

从规格里抽出可测试的验收条件，然后用对抗性的方法检验实现是否合规，输出 BDD 场景、可追溯矩阵和证据型合规报告（不产出代码）。适合在 PR 审核或要证明实现满足 PRD/SRS/AC 的时候用。亮点是自动化提取 AC 并生成可机判的合规证据，便于审计和验收。

▸ 展开 SKILL.md 英文原文

Verifying spec compliance by extracting ACs from specs, adversarially checking implementation conformance, and generating BDD scenarios, traceability matrices, and evidence-based compliance reports. No code. Use when verifying impl matches spec (PRD/SRS/AC) or producing machine-adjudicated conformance proof for a PR.

开发编程合规验证BDD验收测试可追溯性通用

Stars

Forks

仓库内 Skill

7 日增星

安装 / 使用

给你的 Agent 一句话（通用）

帮我安装这个 skill：https://raw.githubusercontent.com/simota/agent-skills/main/attest/SKILL.md

或 curl 直取 SKILL.md

curl -fsSL "https://raw.githubusercontent.com/simota/agent-skills/main/attest/SKILL.md"

SKILL.MD 节选查看完整文件 ↗

<!--
CAPABILITIES_SUMMARY:
- spec_compliance_verification: Adversarial verification of implementation against specifications
- acceptance_criteria_extraction: Automated extraction of testable criteria from spec documents with ISO/IEC/IEEE 29148 quality gate validation
- bdd_scenario_generation: Given/When/Then scenario generation with priority-based minimums and five-attribute quality validation
- traceability_matrix: Bidirectional spec-to-code traceability with coverage analysis
- adversarial_probing: Six-category probe framework (Boundary, Omission, Contradiction, Implicit, Negative, Concurrency)
- compliance_reporting: Evidence-based verdicts (CERTIFIED/CONDITIONAL/REJECTED) with IEEE 101

via SKILL·HOT · 数据来自 GitHub 公开信息 · 原文版权归作者所有