CtrlK
BlogDocsLog inGet started
Tessl Logo
SkillPublic

proof-orchestrator

Manage a stateful, run-directory-based proof project: continuation across runs, run-local source bookkeeping, manual GPT Pro handoff packages when a local attempt stalls, and an optional DeepSeek second opinion as additional evidence only. Use when the user asks for proof-run orchestration, a GPT Pro handoff, or cross-run proof continuation — use /proof-writer for ordinary proof drafting and /proof-checker for rigorous verification or submission acceptance.

Quality

86%

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

81%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.

A very strong orchestration skill body: the workflow is unambiguous, rich in exact artifacts, status labels, and validation gates, with all in-body reference paths resolving to real files. The main weakness is token efficiency — authorization and gating rules are restated multiple times and the notation scorecard is duplicated between the body and its reference file.

Suggestions

Consolidate the repeated authorization rules: state the browser/API/DeepSeek authorization boundaries once (e.g., in Guardrails) and reference that single statement from Workflow steps 4 and 7 and the Optional DeepSeek Audit intro instead of restating them in each place.

Remove the inlined seven-line scorecard from the Notation Gate section and rely solely on the instruction to copy it verbatim from references/notation-audit.md, eliminating the risk of divergence between the two copies.

Move the GPT Pro Output Repair and Manual Handoff Contract detail into a reference file (e.g., extend the existing references/) and keep only the contract summary inline, which would also let the body stay under ~200 lines.

DimensionReasoningScore

Conciseness

The body is dense and directive-heavy with no filler explanations of concepts Claude already knows, but several critical rules are repeated 3-4 times across sections: the DeepSeek explicit-request gate appears in Role, Workflow step 4, the Optional DeepSeek Audit intro, and Guardrails; GPT Pro authorization rules repeat in Role, step 7, and Guardrails; and the seven-line notation scorecard is both inlined in the Notation Gate section and re-copied from references/notation-audit.md in step 5. This matches 'mostly efficient but could be tightened' rather than the verbose padding of anchor 2.

3 / 5

Actionability

For an instruction-only orchestration skill the guidance is copy-paste-level concrete: exact run-directory pattern 'prompts/<YYMMDDHH-num>/', a per-file layout with each file's role, 14 exact status labels, the exact seven-line scorecard, the completion marker 'END_GPT_PRO_OUTPUT', concrete repair rules ('\\left{' to '\\left\\{'), and enumerated source-manifest and handoff field contracts. No significant execution gaps remain.

5 / 5

Workflow Clarity

The default route is stated explicitly ('freeze target -> local proof -> local correctness audit -> exposition edit -> final'), followed by 8 numbered steps with explicit validation gates (Notation Gate, Derivation Structure Gate, audit before READY_FOR_USER, scorecard thresholds, completion-marker check) and feedback loops for error recovery (NEEDS_GPT_PRO_REDO to a focused redo prompt, blocked handoff on missing sources, DEEPSEEK_REVIEW_BLOCKED).

5 / 5

Progressive Disclosure

Body references to references/notation-audit.md, proof-audit-rubric.md, deepseek-routing.md, and audit-output-contract.md are all real files, clearly signaled at the right decision points, and one level deep. However, two bundle files (dispatch-prompts.md, stress-tests.md) are never referenced from the body and are therefore undiscoverable, and roughly 250 lines of inline process detail (e.g., GPT Pro Output Repair, Manual Handoff Contract) could live in reference files, keeping this at 'good structure with minor organization gaps' rather than the fully split structure of anchor 5.

4 / 5

Total

17

/

20

Passed

Description

87%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.

An excellent description: it states concrete capabilities, an explicit 'Use when' clause with natural trigger phrases, and explicit routing boundaries against the sibling proof-writer and proof-checker skills. The only improvement space is adding a few missing trigger synonyms and reflecting the skill's local-proof/audit capabilities.

DimensionReasoningScore

Specificity

The description lists several specific concrete actions — 'continuation across runs', 'run-local source bookkeeping', 'manual GPT Pro handoff packages when a local attempt stalls', 'optional DeepSeek second opinion' — matching the 'several specific actions with minor gaps' anchor. It is not 5 because the description omits other capabilities the skill performs (local proof attempts, correctness auditing, exposition editing).

4 / 5

Completeness

It explicitly answers both questions: the 'what' ('Manage a stateful, run-directory-based proof project: continuation across runs, run-local source bookkeeping, manual GPT Pro handoff packages... and an optional DeepSeek second opinion') and the 'when' with concrete trigger phrases ('Use when the user asks for proof-run orchestration, a GPT Pro handoff, or cross-run proof continuation'). This matches the anchor-5 example structure exactly.

5 / 5

Trigger Term Quality

'proof-run orchestration', 'GPT Pro handoff', and 'cross-run proof continuation' are natural phrases a user of this niche would say, giving good keyword coverage. It is not 5 because common variations are missing from the when-clause — e.g., resuming/continuing a proof project, requesting a DeepSeek review or 'second opinion' (mentioned only in the what-clause).

4 / 5

Distinctiveness Conflict Risk

The description carves out a clear niche and explicitly disambiguates sibling skills: 'use /proof-writer for ordinary proof drafting and /proof-checker for rigorous verification or submission acceptance'. Triggers (orchestration, handoff, continuation) are distinct from drafting and checking, giving minimal conflict risk.

5 / 5

Total

18

/

20

Passed

Validation

87%

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

Validation — 14 / 16 Passed

Validation for skill structure

CriteriaDescriptionResult

allowed_tools_field

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

Warning

relative_links

Relative link issues: 1 suspicious

Warning

Total

14

/

16

Passed

Repository

wanshuiyin/Auto-claude-code-research-in-sleep

Path

skills/proof-orchestrator/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.