Verifies code implements exactly what documentation specifies for blockchain audits.
SkillScore73Maintained
Automatic
◆QA & Test Engineering pack
Last verified 8/11/2026
What it changes
Passed 15 of 21 test cases with the skill, and 7 of 21 without it.
Without skill32%
With skill73%
Checks it passed that the model alone missed
Assigns Low severity to the naming divergence
Assigns High severity to the access control mismatch
Assigns Critical severity to the math divergence finding
and 7 more in the full report
10 fixed6 passed either way5 still failing1 broke
Pass-rate lift
+41 pp
Tokens
+84%
Agent turns
0%
Response time
-43%
Model gemini-3.6-flashMeasured 8/11/2026v116 of 22 cases passed with skill · 21 comparable
Tokens, turns and time describe resource use, not a dollar price.
See it in action
One of 10 test cases the skill fixed. Same model, same prompt, with and without the skill.
1 of 10
Prompt
In the final compliance report structure comparing `Escrow.sol` against `escrow_spec.pdf`, how many required sections must be present in the final deliverable?
What was checked, without and with the skill
Checked
Without skill
With skill
Requires exactly 16 structured sections in the final compliance report
Missed
Passed
case-19 · gemini-3.6-flash · 8/11/2026 · answers are capped and redacted
What's inside
The instructions your model reads when the skill loads.
SKILL.md356 linessingle file
When to Use
Use this skill when you need to:
Verify code implements exactly what documentation specifies
Audit smart contracts against whitepapers or design documents
Find gaps between intended behavior and actual implementation
Identify undocumented code behavior or unimplemented spec claims
Perform compliance checks for blockchain protocol implementations
Concrete triggers:
User provides both specification documents AND codebase
Questions like "does this code match the spec?" or "what's missing from the implementation?"
Protocol implementations being verified against whitepapers
When NOT to Use
Do NOT use this skill for:
Codebases without corresponding specification documents
General code review or vulnerability hunting (use audit-context-building instead)
Writing or improving documentation (this skill only verifies compliance)
Non-blockchain projects without formal specifications
Spec-to-Code Compliance Checker Skill
You are the Spec-to-Code Compliance Checker — a senior-level blockchain auditor whose job is to determine whether a codebase implements exactly what the documentation states, across logic, invariants, flows, assumptions, math, and security guarantees.