CtrlK
BlogDocsLog inGet started
Tessl Logo

spec-to-code-compliance

Verifies code implements exactly what documentation specifies for blockchain audits. Use when comparing code against whitepapers, finding gaps between specs and implementation, or performing compliance checks for protocol implementations.

51

Quality

56%

Does it follow best practices?

Run evals on this skill

Adds up to 20 points to the overall score

View guide

SecuritybySnyk

Passed

No findings from the security scan

Fix and improve this skill with Tessl

tessl review fix ./skills/spec-to-code-compliance/SKILL.md
SKILL.md
Quality
Evals
Security

Quality

Content

35%Scale 1-5

Reviews the quality of instructions and guidance provided to agents. Good implementation is clear, handles edge cases, and produces reliable results.

This skill provides a comprehensive conceptual framework for spec-to-code compliance checking with a well-structured 7-phase workflow, but it is overly verbose and lacks concrete, executable guidance. The content reads more like an abstract methodology document than an actionable skill — it describes what to do at length without showing how to do it with specific examples, commands, or output formats inline. Referenced supporting files (IR_EXAMPLES.md, OUTPUT_REQUIREMENTS.md, COMPLETENESS_CHECKLIST.md) are not provided in the bundle, undermining the progressive disclosure strategy.

Suggestions

Add concrete, inline examples of IR output formats (e.g., a sample Spec-IR entry in YAML/JSON) so Claude knows exactly what to produce without relying solely on missing bundle files

Add explicit validation checkpoints between phases (e.g., 'Before proceeding to Phase 3, verify Spec-IR contains ≥N items and all have confidence ≥0.8') to create feedback loops for error recovery

Reduce verbosity by removing the rationalizations table, the format normalization details (Claude knows how to handle PDF/Markdown/DOCX), and the duplicated anti-hallucination section — consolidate into a brief 'Key constraints' list

Provide the referenced bundle files (IR_EXAMPLES.md, OUTPUT_REQUIREMENTS.md, COMPLETENESS_CHECKLIST.md) or inline their essential content to make the skill self-contained and actionable

DimensionReasoningScore

Conciseness

The skill is significantly verbose with extensive explanations of concepts Claude already understands (what PDF/Markdown/DOCX formats are, what 'semantic cues' look like, rationalizations table explaining why obvious things are wrong). The 'When to Use' and 'When NOT to Use' sections overlap with the description. Many sections describe abstract processes rather than providing lean, actionable content. The anti-hallucination requirements are repeated twice.

2 / 5

Actionability

Despite being very detailed in describing the phases, the skill provides no concrete code examples, no executable commands, no specific tool invocations, and no sample outputs. It describes what to extract and classify at a high level but never shows how — no actual YAML/JSON IR format examples inline, no code snippets for parsing, no concrete commands. It references IR_EXAMPLES.md for examples but those files are not provided in the bundle.

2 / 5

Workflow Clarity

The 7-phase workflow is clearly sequenced (Phase 0 through Phase 6) with logical progression from discovery to reporting. However, there are no validation checkpoints between phases, no feedback loops for error recovery (e.g., what if Phase 1 normalization fails or Phase 2 extraction is incomplete), and the completeness checklist is only referenced at the end rather than integrated as validation gates between phases.

3 / 5

Progressive Disclosure

The skill references IR_EXAMPLES.md, OUTPUT_REQUIREMENTS.md, and COMPLETENESS_CHECKLIST.md appropriately, which is good progressive disclosure design. However, none of these bundle files are actually provided, making the references unverifiable. Additionally, a large amount of content that could be in separate files (the detailed phase descriptions, the rationalizations table, the severity classification details) is inlined, making the main file very long.

3 / 5

Total

10

/

20

Passed

Description

78%Scale 1-5

Based on the skill's description, can an agent find and select it at the right time? Clear, specific descriptions lead to better discovery.

This is a solid skill description that clearly defines its niche (blockchain code-to-spec verification) and includes an explicit 'Use when' clause with multiple trigger scenarios. The main weakness is that the 'what' portion could be more specific about concrete actions beyond 'verifies' — e.g., generating compliance reports, flagging discrepancies, or listing unimplemented features. Trigger terms are good but could benefit from additional synonyms like 'smart contract' or 'specification'.

Suggestions

Add more specific concrete actions to the 'what' portion, such as 'flags unimplemented features, generates compliance reports, maps specification requirements to code functions'.

Include additional trigger terms and synonyms like 'smart contract', 'specification', 'token', 'DeFi', or 'on-chain' to improve keyword coverage.

DimensionReasoningScore

Specificity

Names the domain (blockchain audits, code vs documentation verification) and describes 1-2 concrete actions (comparing code against whitepapers, finding gaps between specs and implementation), but lacks comprehensive detail about specific techniques or outputs.

3 / 5

Completeness

Clearly answers both 'what' (verifies code implements exactly what documentation specifies for blockchain audits) and 'when' (explicit 'Use when' clause with three concrete trigger scenarios: comparing code against whitepapers, finding gaps between specs and implementation, performing compliance checks).

5 / 5

Trigger Term Quality

Includes good natural keywords like 'blockchain audits', 'whitepapers', 'specs', 'implementation', 'compliance checks', and 'protocol implementations'. Missing some variations like 'smart contract', 'specification', 'audit report', or 'code review'.

4 / 5

Distinctiveness Conflict Risk

Fairly distinct with the blockchain audit niche and the specific focus on code-vs-documentation verification. Minor overlap risk with general code review or generic audit skills, but the blockchain and whitepaper-specific framing reduces conflict significantly.

4 / 5

Total

16

/

20

Passed

Validation

90%

Checks the skill against the spec for correct structure and formatting. All validation checks must pass before discovery and implementation can be scored.

Validation10 / 11 Passed

Validation for skill structure

CriteriaDescriptionResult

frontmatter_unknown_keys

Unknown frontmatter key(s) found; consider removing or moving to metadata

Warning

Total

10

/

11

Passed

Repository
administrakt0r/AI-Agents-Safe-Coding-Skills
Reviewed

Table of Contents

Is this your skill?

If you maintain this skill, you can claim it as your own. Once claimed, you can manage eval scenarios, bundle related skills, attach documentation or rules, and ensure cross-agent compatibility.