CtrlK
BlogDocsLog inGet started
Tessl Logo

verify

This skill should be used when the user asks to "verify protocols", "check consistency before commit", "validate definitions", "run pre-commit checks", "verify soundness", or wants to ensure epistemic protocol quality. Invoke explicitly with /verify for pre-commit validation.

48

Quality

51%

Does it follow best practices?

Impact

No eval scenarios have been run

SecuritybySnyk

Passed

No known issues

Optimize this skill with Tessl

npx tessl skill review --optimize ./.claude/skills/verify/SKILL.md
SKILL.md
Quality
Evals
Security

Quality

Discovery

40%

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 description is heavily weighted toward trigger terms and 'when to use' guidance but almost entirely neglects explaining what the skill actually does. The domain ('epistemic protocol quality') is mentioned but never defined, leaving the reader unclear on the concrete capabilities. The description would benefit greatly from specifying the actual actions performed.

Suggestions

Add concrete capability descriptions explaining what the skill does, e.g., 'Validates protocol definitions for logical consistency, checks cross-references between protocol files, and reports soundness issues.'

Define the domain clearly — explain what 'epistemic protocols' are or what types of files/artifacts are being validated, so Claude can distinguish this from generic code linting or validation skills.

Reduce redundancy in trigger phrases and replace some with a clear 'what it does' section to balance the description.

DimensionReasoningScore

Specificity

The description lacks concrete actions. Terms like 'verify protocols', 'check consistency', 'validate definitions', and 'verify soundness' are vague and do not describe specific, tangible operations. There is no explanation of what the skill actually does beyond abstract validation language.

1 / 3

Completeness

The 'when' is well-covered with explicit trigger phrases and a 'Use when' equivalent. However, the 'what' is essentially missing — the description never explains what the skill concretely does, only when to invoke it. It tells you when to use it but not what it actually performs.

2 / 3

Trigger Term Quality

It includes several trigger phrases like 'verify protocols', 'check consistency before commit', 'validate definitions', 'run pre-commit checks', and '/verify'. However, these are somewhat niche and jargon-heavy ('epistemic protocol quality'), and it's unclear if users would naturally use many of these terms.

2 / 3

Distinctiveness Conflict Risk

The mention of 'epistemic protocol quality' and '/verify' command gives it some distinctiveness, but terms like 'check consistency', 'validate definitions', and 'pre-commit checks' could easily overlap with linting, code validation, or general pre-commit hook skills.

2 / 3

Total

7

/

12

Passed

Implementation

62%

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

This skill has excellent workflow clarity and actionability with a well-structured 5-phase verification process, concrete commands, and clear decision handling. However, it is significantly over-long due to inline subagent prompt templates and an exhaustive static checks enumeration that should be externalized to the referenced support files. The progressive disclosure structure is partially implemented but undermined by the volume of inline content.

Suggestions

Move the three full subagent prompt templates to references/review-checklists.md (which is already referenced) and replace inline with brief summaries like 'Spawn Type Design subagent per references/review-checklists.md#type-design'

Condense the static checks list to categories (e.g., 'Schema validation, notation consistency, cross-reference integrity, graph integrity, spec-impl drift — see references/criteria.md for full list') rather than enumerating every individual check inline

Remove explanatory phrases like 'This script executes without loading into context' and 'Surface potential issues in protocol definitions without blocking commits' that describe intent rather than instruct action

DimensionReasoningScore

Conciseness

The skill is extremely verbose at ~200+ lines. It over-explains domain-specific concepts, includes lengthy inline prompt templates for subagents that could be in reference files, and the static checks list is exhaustive to the point of being a wall of text. Much of this content (e.g., the full subagent prompts, the detailed check descriptions like 'morphism anatomy' and 'emit load discipline') could be externalized or condensed significantly.

1 / 3

Actionability

The skill provides concrete, executable commands (the bash script invocation), specific JSON output formats, detailed subagent prompt templates that are copy-paste ready, clear gate interaction formatting, and specific commit message annotation formats. Every phase has actionable instructions.

3 / 3

Workflow Clarity

The 5-phase workflow is clearly sequenced with explicit validation checkpoints. Phase 3 synthesizes and categorizes findings by severity, Phase 4 presents options via gate interaction, and Phase 5 handles user decisions with a clear decision table. Error handling is explicitly addressed with fallback options. The feedback loop (fix → re-validate) is implicit but the user decision flow provides adequate control.

3 / 3

Progressive Disclosure

The skill references external files (references/criteria.md, references/review-checklists.md, scripts/static-checks.js) which is good progressive disclosure design, but the main body includes massive inline content that should be in those reference files — particularly the full subagent prompt templates and the exhaustive static checks list. No bundle files were provided to verify the references exist, and the inline content bloat undermines the disclosure structure.

2 / 3

Total

9

/

12

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

allowed_tools_field

'allowed-tools' contains unusual tool name(s)

Warning

Total

10

/

11

Passed

Repository
jongwony/epistemic-protocols
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.