CtrlK
BlogDocsLog inGet started
Tessl Logo
SkillPublic

formal-review

This skill should be used when the user asks to "formal review", "formal lens review", or invokes /formal-review. A fixed-lens PR review for this repository's formally-structured protocol changes: it pins a Category Theory / Type Theory / Operational Semantics lens panel over only the files changed in a PR, analyzes each lens in isolation, adversarially cross-verifies the findings, and posts the survivors as a single consolidated PR comment. Project-local contributor tooling.

Quality

82%

Does it follow best practices?

Run evals on this skill

Adds up to 20 points to the overall score

View guide
SecuritybySnyk

Low

Low-risk findings worth noting

SKILL.md
Quality
Evals
Security

Quality

Content

66%Weight 40%Scale 1-5

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

The body delivers a well-sequenced, verifiable pipeline with concrete gh/git commands and explicit validation at every phase, but it is noticeably verbose: the same design points (fixed panel, one-pass, harness permission, refuted-findings relay) are restated multiple times and it explains unified-diff conventions Claude already knows. Trimming the repetition would materially raise token efficiency without losing any guidance.

Suggestions

State each design decision once and reference it: the fixed-lens panel is re-declared in the intro, Why-section, Caller Signature, Phase 2, and Rules #1 — keep the Phase 2 definition plus a one-line Rule and cut the rest.

Delete the explanations of things Claude already knows, e.g. "Diff-reading conventions: lines starting with + are added; lines starting with - are removed; a leading space is unchanged context" and the repeated justification of why the panel is project-local.

Replace the prose description of the posting pipeline with the actual copy-paste command (heredoc to temp file → jq --rawfile → gh api --input -), which also fixes the actionability gap.

DimensionReasoningScore

Conciseness

Key points are repeated many times — the fixed-panel pinning appears in the intro, Why-section, Caller Signature, Phase 2, and Rules #1; the one-pass-not-convergence-loop point appears three times; the harness-permission point in Phase 4 and Rules #6 — and it explains basics Claude already knows ("lines starting with + are added; lines starting with - are removed"), matching the noticeably-verbose anchor. It is not a 1 because all content is functional rather than tutorial padding, but the repetition is extensive, not occasional.

2 / 5

Actionability

Concrete executable commands appear throughout ("gh pr view --json number", "git status --porcelain", "gh pr diff {N}", "gh api repos/{owner}/{repo}/issues/{N}/comments") with real pitfalls called out, but the jq --rawfile posting pipeline is described in prose rather than given as a copy-paste command, leaving a minor gap. It sits above the 3 anchor because nearly everything else is exact, and below 5 because the one central write operation lacks a ready-to-run command.

4 / 5

Workflow Clarity

The Phase 0–4 sequence is clearly ordered with explicit validation checkpoints at every stage: "confidence ≥ 80% (drop lower-confidence findings)", the 2b adversarial refutation pass, the Phase 3 direction-error guard "cross-check the review text against the file fate read from the diff headers", untracked-file detection in Phase 1, and harness permission gating on the external write. This matches the clear-sequence-with-explicit-validation anchor.

5 / 5

Progressive Disclosure

No bundle files exist; the single self-contained file has well-marked, clearly navigable sections (Phases, When to Use, Rules). Good structure with minor gaps: at ~125 lines with substantial inline repetition, the body is longer than a clear single-file overview needs to be, though nothing requires multi-level reference navigation.

4 / 5

Total

15

/

20

Passed

Description

92%Weight 40%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.

A strong description: it explicitly states both what the skill does (pin a fixed three-lens formal panel, analyze in isolation, cross-verify adversarially, post one consolidated comment) and when to use it, with concrete trigger phrases and a distinct niche. The only weaknesses are limited synonym coverage in the trigger terms and some density that could be trimmed without loss.

DimensionReasoningScore

Specificity

"pins a Category Theory / Type Theory / Operational Semantics lens panel over only the files changed in a PR, analyzes each lens in isolation, adversarially cross-verifies the findings, and posts the survivors as a single consolidated PR comment" lists four concrete actions covering the entire pipeline, matching the comprehensive-coverage anchor rather than the minor-gaps anchor at 4.

5 / 5

Completeness

"This skill should be used when the user asks to..." provides an explicit when-clause with concrete trigger phrases, and the following sentence fully answers the what; both are explicitly present, matching the top anchor.

5 / 5

Trigger Term Quality

The explicit triggers "formal review", "formal lens review", and /formal-review are natural invocation phrases, but natural variations a user might say (e.g. "formally review this PR", "formal analysis", "protocol review") are absent, placing it just below comprehensive coverage.

4 / 5

Distinctiveness Conflict Risk

"A fixed-lens PR review for this repository's formally-structured protocol changes" plus "Project-local contributor tooling" carves a clear niche with distinct trigger phrases, so overlap risk with generic review skills is minimal.

5 / 5

Total

19

/

20

Passed

Validation

93%

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

Validation — 15 / 16 Passed

Validation for skill structure

CriteriaDescriptionResult

allowed_tools_field

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

Warning

Total

15

/

16

Passed

Repository

jongwony/epistemic-protocols

Path

.claude/skills/formal-review/SKILL.md

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.