Every premium and members-only resource for $9.99/month, as a no-commitment subscription. See the plans

PalateKit

Sign in
Menu

Request a resource

Describe the resource you are missing in one sentence. We will email you when it is published.

0 / 280

A page, a video or an image online.

Unlock PalateKit

Unlock everything

Plan

Paying means accepting our terms of sale.

Secure payment by Stripe. Receipts and invoices sent by email.

Welcome back

Sign in to install, download or save this resource. A free account is enough for free resources.

Verifying spec compliance v1.0.0

Use this resource to verify that an implementation matches its specification

New

  • 366 downloads
  • 122 likes
  • 167 saves

Free

Install with the CLI

In a terminal, from the folder you want:

npx --yes palatekit@latest install verify-spec-compliance

With no option, the skill goes to ~/.agents/skills/; add --agent claude-code (or codex, cursor…) to target an agent.

First time: connect the CLI with

npx --yes palatekit@latest login

The agent extracts testable criteria from a PRD, SRS or specification, checks compliance by probing edge cases and omissions, then generates Given/When/Then scenarios and a traceability matrix. You get a compliance report backed by evidence.

Mostly picked by

Updated November 2, 2026

Card for the “Verifying spec compliance” skill

Details

Works in
Install guides
Generates with
Your agent's model
Licence
MIT

Similar resources

View all

What you get

  • SKILL.md: extraction method, operating modes and verification rules
  • reference/: BDD scenarios, property-based testing, traceability matrix and compliance report

Good fit for

  • You need to prove a feature meets its specification
  • A client asks for a traceability matrix between requirements and code

Not for

    Tags

    • specification
    • acceptance criteria
    • bdd
    • traceability

    About

    You say

    “Check that signup matches the criteria in the attached PRD, with BDD scenarios.”

    Card for the “Verifying spec compliance” skill

    Skill published by simota under the MIT license, delivered in its original version.

    Show more

    How to use it

    1. Install the skill in your agent's skills folder
    2. Ask your agent to verify that an implementation matches its specification
    3. Review and adjust the result

    Content preview

    Files

    • LICENSE1 KB
    • NOTICE-PALATEKIT.md0.4 KB
    • reference/adversarial-probing.md9.1 KB
    • reference/autorun-schema.md1.3 KB
    • reference/bdd-generation.md7.2 KB
    • reference/compliance-report.md6.6 KB
    • reference/criteria-extraction.md12.4 KB
    • reference/fix-prompt-generation.md9.7 KB
    • reference/gherkin-authoring.md12.9 KB
    • reference/llm-verification-guardrails.md4.7 KB
    • reference/modern-tooling.md4.4 KB
    • reference/property-based-testing.md12.7 KB
    • reference/test-oracle-design.md13.8 KB
    • reference/traceability-advanced.md5.5 KB
    • reference/verification-methods.md5.9 KB
    • SKILL.md25.9 KB

    Origin and licence

    Listed unmodified

    Author
    simota
    Source
    github.com/simota/agent-skills/tree/2e02cc9efb3852a45334495df3784d59b87b0e18/attest
    Licence
    MIT

    Notice

    « attest » (simota, MIT) livré dans sa version d'origine : fiche en français et en anglais par PalateKit.

    User reviews

    –

    No ratings yet

    Loading reviews…

    Delete your review?

    Your rating and comment will be removed from the page.