verify-contract SKILL.md skillA

verify-contract from tmusser/ai-engineering-skills is an agent skill: a SKILL.md folder an AI agent loads when a task calls for it.

Install it, pinned
mdr add tmusser/ai-engineering-skills/verify-contract@git:20261101.bfc03f8

Pins git:20261101.bfc03f8 in mdr.lock. Pin the fingerprint instead.

Audit grade
A, 17 of 17 checks passed
Kind
SKILL.md skill
Repository
tmusser/ai-engineering-skills
Path
skills/verify-contract/SKILL.md
Versions recorded
15
Latest version
git:20261101.bfc03f8, committed Nov 1, 2026
First version recorded
Jun 26, 2026
Size
16,588 bytes
Repository stars
6
License
MIT

Record clear evidence that a task works, including commands, results, remaining risks, scope adherence, and whether the implementation stayed under the spec ceiling.

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

# Verify Contract

## Purpose

Prove the task actually works and leave durable evidence.

Verification also checks that the implementation did not exceed the behavioral contract or frozen write boundary merely because the extra work looked reasonable.

## When to use

After implementation, tests, bug fixes, data runs, or smoke checks.

## Inputs

- Task name
- `SPEC.md` acceptance criteria, non-goals, constraints, invalid-if rules, optional implementation diff budget, optional change-proof contract, and optional test-sensitivity contract
- Optional persisted `SCOPE.md` plus its frozen Git base
- Commands run or to run
- Changed files
- Evidence to record
- Known risks or untested areas
- Optional operator profile `Verification depth`

## Workflow

1. Update VERIFY.md with date + task name.
2. Record commands run as short evidence entries with command, exit code, relevant
   output, interpretation, acceptance criterion covered, and remaining uncertainty.
   Keep each entry concise and auditable.
3. For new verification records, maintain a machine-readable `Structured
   verification evidence` JSON block alongside the human-readable evidence. Use
…

Read the whole file at its exact version.

How to install

The exact contents, by fingerprint
mdr add tmusser/ai-engineering-skills/verify-contract@sha256:e491e2fe22439603

The line at the top of this page pins the label git:20261101.bfc03f8, 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.

Badge

mdr badge

[![mdr](https://markdownregistry.com/badge/art_v4lklf7q6jb5556c.svg)](https://markdownregistry.com/a/art_v4lklf7q6jb5556c)

4 badge image fetches in 30 days. What the badge shows.

Versions

The registry has recorded 15 versions of this file, between Jun 26, 2026 and Nov 1, 2026, about one every 9 days.

versioncommittedcommitsizeaudit
git:20261101.bfc03f8 latest2026-11-01 bfc03f8 16,588 BA view · diff
git:20261030.9f1d6eb2026-10-30 9f1d6eb 14,911 BA view · diff
git:20261029.9a6297b2026-10-29 9a6297b 13,228 BA view · diff
git:20261029.bb235142026-10-29 bb23514 12,695 BA view · diff
git:20261027.35bf3942026-10-27 35bf394 11,533 BA view · diff
git:20261008.67190ab2026-10-08 67190ab 11,267 BA view · diff
git:20261006.7f6cad82026-10-06 7f6cad8 10,443 BA view · diff
git:20261005.a4c44242026-10-05 a4c4424 9,087 BA view · diff
git:20261004.5fe30652026-10-04 5fe3065 8,504 BA view · diff
git:20261003.138fd782026-10-03 138fd78 7,337 BA view · diff
git:20260806.24a682d2026-08-06 24a682d 6,318 BA view · diff
git:20260726.ce98f0d2026-07-26 ce98f0d 5,062 BA view · diff
git:20260703.5dfb2982026-07-03 5dfb298 3,871 BA view · diff
git:20260626.611ea2c2026-06-26 611ea2c 2,799 BA view · diff
git:20260626.cb061b52026-06-26 cb061b5 2,333 BA view

Audit of the latest version

A  17 of 17 checks passed. Fixed automatic checks with no AI involved, so the same checks give the same answer every run.
  • pass: Frontmatter block present
  • pass: Frontmatter declares a name
  • pass: Frontmatter declares a description
  • pass: Size between 200 bytes and 200 KB (16588 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

GitHub

tmusser/ai-engineering-skills · 6 stars · license MIT · pushed 2026-11-01 · branch main

API

GET https://markdownregistry.com/api/v1/artifacts/art_v4lklf7q6jb5556c
GET https://markdownregistry.com/api/v1/resolve?ref=tmusser/ai-engineering-skills/verify-contract
GET https://markdownregistry.com/api/v1/blob/e491e2fe224396037bb15aaecc59cda1a864d0e07a9acd8f9c9a9fddcd815834

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.

More from tmusser/ai-engineering-skills

AGENTS.md AGENTS.md file
tmusser/ai-engineering-skills · AGENTS.md
git:20260723.bcffaf4 · audit A · 6 stars
analyze-mini SKILL.md skill
tmusser/ai-engineering-skills · skills/analyze-mini/SKILL.md · Risk-triggered consistency checkpoint that detects when task artifacts, assumptions, or verification no longer support…
git:20260727.5a2073a · audit A · 6 stars
bug-capture SKILL.md skill
tmusser/ai-engineering-skills · skills/bug-capture/SKILL.md · Preserve discovered bugs as BUGS.md entries.
git:20260518.0d37b7d · audit A · 6 stars
build-one SKILL.md skill
tmusser/ai-engineering-skills · skills/build-one/SKILL.md · Implement exactly one planned slice after scope is frozen, without exceeding the spec ceiling or carrying known…
git:20261101.bfc03f8 · audit A · 6 stars
ceremony-budget SKILL.md skill
tmusser/ai-engineering-skills · skills/ceremony-budget/SKILL.md · Choose the smallest workflow that still buys back enough attention and safety for the task.
git:20261005.a4c4424 · audit A · 6 stars
checklist-mini SKILL.md skill
tmusser/ai-engineering-skills · skills/checklist-mini/SKILL.md · Validate a mini-spec before planning.
git:20260518.0d37b7d · audit A · 6 stars
constitution-lite SKILL.md skill
tmusser/ai-engineering-skills · skills/constitution-lite/SKILL.md · Define a tiny set of stable, non-negotiable agent authority boundaries for repeated or delegated work without…
git:20260727.96471d7 · audit A · 6 stars
context-check SKILL.md skill
tmusser/ai-engineering-skills · skills/context-check/SKILL.md · Detect context drift, rehydration loops, hypothesis sprawl, scope creep, active-mode loss, and durable-state gaps…
git:20260626.1692c35 · audit A · 6 stars
diagnose-loop SKILL.md skill
tmusser/ai-engineering-skills · skills/diagnose-loop/SKILL.md · Diagnose reproducible failures with hypothesis-driven fixes and bounded retries.
git:20260910.1199fd5 · audit A · 6 stars
eco-mode SKILL.md skill
tmusser/ai-engineering-skills · skills/eco-mode/SKILL.md · Keep a small, budgeted working context for low-cost model execution without weakening task contracts, required sources…
git:20261026.2efd117 · audit A · 6 stars
falsify-spec SKILL.md skill
tmusser/ai-engineering-skills · skills/falsify-spec/SKILL.md · Adversarially test a bounded SPEC.md for plausible wrong implementations that still pass its written acceptance…
git:20261020.30b4737 · audit A · 6 stars
grill-with-docs-lite SKILL.md skill
tmusser/ai-engineering-skills · skills/grill-with-docs-lite/SKILL.md · Groom a fuzzy request and the smallest relevant source set into a bounded PRE-SPEC ASSEMBLY packet for mini-spec, using…
git:20261005.a4c4424 · audit A · 6 stars

Every file in tmusser/ai-engineering-skills

Browse by kind, by grade A, or by owner.