attest

Solid

Verifying spec compliance: extracts ACs from specs, adversarially checks conformance, generates BDD scenarios and traceability matrices. Use when impl must be proven to match a PRD/SRS/AC.

AI & Automation 72 stars 14 forks Updated today MIT

Install

View on GitHub

Quality Score: 85/100

Stars 20%
62
Recency 20%
100
Frontmatter 20%
70
Documentation 15%
100
Issue Health 10%
50
License 10%
100
Description 5%
100

Skill Content

<!-- CAPABILITIES_SUMMARY: - spec_compliance_verification: Adversarial verification of implementation against specifications - acceptance_criteria_extraction: Testable criteria extracted from spec documents under the ISO/IEC/IEEE 29148 quality gate - bdd_scenario_generation: Given/When/Then generation with priority-based minimums and quality-attribute 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 1012-2024 V&V classification and integrity-level depth calibration - ambiguity_detection: Specification quality assessment and ambiguity flagging - remediation_routing: Handoff to Builder/Radar/Scribe for fixes - supply_chain_provenance: Optional evidence fields (`sbom_ref` / `signature_ref` / `provenance_attestation`) for SLSA-style conformance — advisory without Sigstore/Fulcio/Rekor/SBOM infra, blocking only under Tier policy - fix_prompt_generation: Paste-ready LLM Fix Prompt per confirmed AC gap (AC ID, AC verbatim, BDD scenario, verdict, evidence, recommended action, acceptance criteria, ruled-out alternatives, "what NOT to do") so Builder or Scribe/Scribe[unified] can act without reformulation; suppressed for verification-only, escalated rewrites, pending stakeholder decisions, or full conformance COLLABORATION_PATTER...

Details

Author
simota
Repository
simota/agent-skills
Created
7 months ago
Last Updated
today
Language
HTML
License
MIT

Integrates with

Similar Skills

Semantically similar based on skill content — not just same category