Check Referenced Statements

What it does

When your agent uses it

• A markdown proof cites statements from external papers
• Tasks that involve Academic paper search
• Tasks that involve Web search

Example prompts

• “/check-referenced-statements”

Workflow steps

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

1. 1Query search_arxiv_theorems using the full referenced statement as query.
2. 2Inspect returned results and compare theorem text directly to the referenced statement in reasoning.
3. 3Expand the definitions and terminology appearing in the cited statement using the cited paper's context before deciding whether the…
4. 4Check whether the same words in the current proof mean the same thing as they do in the cited paper. In mathematics, identical words can…
5. 5Accept as matched and applicable only when both are true
6. 6If the theorem exists but the current proof uses different definitions, hypotheses, ambient objects, or a subtly different defining…
7. 7If the proof uses the cited statement to derive further conclusions, verify that transition too: a hand-wavy specialization or…
8. 8If no match is found, use Codex's built-in web search with the same statement text.
9. 9If still not found, emit a critical error
10. 10When a step cites an internal fact_id (16 hex characters) rather than an external paper, apply the verifier contract's P3-supplement chain…
11. 11Keep each reference check 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

Check Referenced Statements loads about 852 tokens when it runs. Until then it costs about 53 tokens; SKILL.md has 393 words of instructions outside code blocks.

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

~53

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

~852

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). 393 words, ~852 tokens.

name

check-referenced-statements

description

Validate externally referenced theorems by querying arXiv theorem search first and Codex's built-in web search second. Use when a markdown proof cites statements from external papers.

{
  "location": "Lemma 2",
  "referenced_statement": "Exact statement text",
  "context_expansion": "In the cited paper, 'regular' means regular with respect to the valuation topology.",
  "arxiv_match_found": false,
  "web_match_found": false,
  "critical_error": {
    "location": "Lemma 2",
    "issue": "Referenced external theorem was not found in arXiv search or Codex built-in web search."
  }
}

© 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/check-referenced-statements of frenzymath/Danus.

• SKILL.md
• agents/openai.yaml

Open the folder on GitHubat commit 6d92e8d