Verify Sequential Statements

What it does

When your agent uses it

• The task is to check local correctness
• Theorem applicability
• Reasoning gaps statement by statement through a paper-style proof

Example prompts

• “/verify-sequential-statements”

Workflow steps

10 steps, taken from the first numbered list in SKILL.md.

1. 1Extract the assumptions and hypotheses from Statement before checking the proof.
2. 2Iterate through the statements/subproofs in the order they appear in the markdown.
3. 3For each item, determine a location key
4. 4Check local reasoning
5. 5Pay special attention to assumptions that an object exists or satisfies a property — sometimes such an object has not been constructed, or…
6. 6Audit whether the assumptions from Statement are actually used in the proof.
7. 7If some assumptions seem unused, do not assume they are harmless. Reason carefully about whether
8. 8Classify findings
9. 9Also apply the Hard Prohibitions defined in the verifier contract (agents/contracts/verifier.md, "Hard Prohibitions to enforce"): P1…
10. 10Keep each checked item in context for the synthesis step. You persist nothing —

What it can do on your machine

Read from SKILL.md and the folder at commit 6d92e8d. It shows what the files ask for, not the result of running them.

• Tool permissions

  Pre-approves nothing: there is no allowed-tools line, so your agent's usual permission prompts apply.

  From allowed-tools in the SKILL.md frontmatter.

• Runs code

  No scripts in the folder and no shell commands in SKILL.md (its code samples are json).

  From the folder's file list and the shell code blocks in SKILL.md.

• Network

  No URLs in SKILL.md.

  From URLs in SKILL.md, links to its own repository left out.

• Credentials

  Names no API keys, tokens, secrets or passwords.

  From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.

Context cost

Verify Sequential Statements loads about 798 tokens when it runs. Until then it costs about 56 tokens; SKILL.md has 390 words of instructions outside code blocks.

Always · name and description, kept in context so the agent knows when to use it

~56

When it runs · the whole SKILL.md, loaded when a task matches

~798

Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.

Safety

Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); files beside SKILL.md are not scanned.

SKILL.md

The full file from frenzymath/Danus at commit 6d92e8d, republished under its Apache-2.0 licence (© frenzymath). 390 words, ~798 tokens.

name

verify-sequential-statements

description

Verify a markdown proof in the order it is written. Use when the task is to check local correctness, theorem applicability, and reasoning gaps statement by statement through a paper-style proof.

{
  "location": "Lemma 3",
  "status": "checked",
  "critical_errors": [
    {"location": "Lemma 3", "issue": "Incorrect implication from A to B."}
  ],
  "gaps": [
    {"location": "Lemma 3", "issue": "Missing justification of boundedness."}
  ]
}

© frenzymath, Apache-2.0. Rendered from Markdown: HTML in the file is shown as text, images as links, and headings moved down two levels. Raw file

Files

SKILL.md and 1 other file in agents/skills/verify/verify-sequential-statements of frenzymath/Danus.

• SKILL.md
• agents/openai.yaml

Open the folder on GitHubat commit 6d92e8d