Agent skill

Aris Paper Claim Audit

by appleweiping in appleweiping/WEIPING_WIKI

Codex's FINAL gate role. An agent skill from appleweiping/WEIPING_WIKI.

MITAuto-check passed

Install Aris Paper Claim Audit

skills CLI
$ npx skills add appleweiping/WEIPING_WIKI --skill aris-paper-claim-audit -a claude-code

Project install by default; add -g for ~/.claude/skills/.

GitHub CLI
$ gh skill install appleweiping/WEIPING_WIKI aris-paper-claim-audit --agent claude-code

Project scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).

Manual copy
$ git clone --depth 1 https://github.com/appleweiping/WEIPING_WIKI.git skills-src && mkdir -p .claude/skills && cp -r skills-src/.codex/skills/aris-paper-claim-audit .claude/skills/aris-paper-claim-audit && rm -rf skills-src

Use ~/.claude/skills/ instead of .claude/skills for a personal install. The folder must contain SKILL.md.

Claude Code skills documentation · loads skills from .claude/skills/

Facts

Skill name
aris-paper-claim-audit
GitHub stars
119
Token cost
~1.7k tokens
SKILL.md length
648 words
Files
1
Skills in repo
51
Repo updated
First seen
Licence
MIT

At a glance

Codex's FINAL gate role. An agent skill from appleweiping/WEIPING_WIKI.

  • Works in 5 steps: Claim Extraction → Evidence Verification → Overclaim Detection → …
  • SKILL.md covers Role, Phase 1: Claim Extraction, Phase 2: Evidence Verification and Phase 3: Overclaim Detection, plus 4 more sections
  • Instructions only: no scripts, shell commands, URLs or credentials in SKILL.md

What it does

Aris Paper Claim Audit is an agent skill from appleweiping/WEIPING_WIKI. Codex's FINAL gate role. Extract every claim, verify evidence backing, detect overclaims, check consistency. This is the last check before submission — nothing passes without a READY verdict from this audit.

Its SKILL.md is about 1.7k tokens, which your agent loads only when the skill is triggered. It is a single SKILL.md file with no bundled scripts.

The repository describes itself as: knowledge base managed with an LLM workflow. The licence is MIT.

Example prompts

  • “/aris-paper-claim-audit”

Workflow steps

5 steps, taken from the step headings in SKILL.md.

  1. Claim Extraction
  2. Evidence Verification
  3. Overclaim Detection
  4. Consistency Check
  5. Final Verdict

What it can do on your machine

Read from SKILL.md and the folder at commit 76fdc42. 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.

    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

Aris Paper Claim Audit loads about 1.7k tokens when it runs. Until then it costs about 58 tokens; SKILL.md has 648 words of instructions outside code blocks.

Always · name and description, kept in context so the agent knows when to use it
~58
When it runs · the whole SKILL.md, loaded when a task matches
~1.7k

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

Auto-check passed

The automated check found no risky patterns in SKILL.md.

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 appleweiping/WEIPING_WIKI at commit 76fdc42, republished under its MIT licence (© appleweiping). 648 words, ~1,679 tokens.

Download SKILL.mdSave it as .claude/skills/aris-paper-claim-audit/SKILL.md (or your agent's skills folder).
name
aris-paper-claim-audit
description
Codex's FINAL gate role. Extract every claim, verify evidence backing, detect overclaims, check consistency. This is the last check before submission — nothing passes without a READY verdict from this audit.
triggers
paper-claim-audit, final audit, 论文声明审核, pre-submission, claim verification, overclaim check
role
auditor
agent
codex

ARIS Paper Claim Audit: Final Submission Gate

Role

You are the FINAL GATEKEEPER. This audit runs LAST, after all revisions. If a paper passes this audit with READY status, it is cleared for submission. If not, it goes back for revision — no exceptions.

Your mandate: No overclaim survives. No unsupported claim ships.

Phase 1: Claim Extraction

Process
  1. Read the abstract — extract every factual claim
  2. Read the introduction — extract every contribution claim
  3. Read the conclusion — extract every summary claim
  4. Read section headers and topic sentences — extract method claims
  5. Compile into the master claim table
Claim Categories
CategoryDefinitionExample
PerformanceQuantitative improvement claims"achieves 15% better accuracy"
NoveltyFirst/new/original claims"first method to combine X and Y"
GeneralityScope/applicability claims"works across all circuit topologies"
EfficiencySpeed/resource claims"10x faster than baseline"
TheoreticalProof/guarantee claims"provably converges in O(n)"
QualitativeSubjective quality claims"significantly improves"
Master Claim Table
#Claim (verbatim quote)LocationCategoryEvidence LocationStatus
1§X, line Y§Z, Table/Fig NSupported/Weak/Unsupported

Phase 2: Evidence Verification

For EACH claim in the master table, verify:

Verification Criteria
Evidence TypeSufficient ForInsufficient For
Single experimentSpecific narrow claimGeneral claims
Multiple experimentsMethod works in tested cases"Always" / "all" claims
Ablation studyComponent contributionOverall superiority
Statistical testSignificance claimsPractical importance
Proof/theoremTheoretical guaranteesEmpirical performance
Qualitative exampleIllustrationPerformance claims
Verification Output

For each claim, assign one status:

  • SUPPORTED: Clear, direct evidence exists. Claim matches evidence scope.
  • WEAKLY SUPPORTED: Evidence exists but doesn't fully cover the claim's scope.
  • UNSUPPORTED: No evidence found for this claim.
  • OVERCLAIMED: Evidence exists but claim overstates what evidence shows.
  • CONTRADICTED: Evidence actually contradicts the claim.

Phase 3: Overclaim Detection

Automatic Red-Flag Words

Scan for these words/phrases and verify each has backing:

Red-Flag TermRequiresFound?Backed?
"significantly"Statistical test (p-value) or large margin
"state-of-the-art" / "SOTA"Comparison to ALL recent methods
"first" / "novel" / "pioneering"Literature search confirming no prior work
"outperforms all"Comparison to ALL relevant baselines
"robust"Testing under perturbation/noise/edge cases
"generalizes"Testing on unseen domains/distributions
"optimal"Proof of optimality or exhaustive search
"scalable"Testing at multiple scales with timing
"efficient"Comparison of computational cost
"superior"Head-to-head comparison with statistical rigor
Overclaim Severity
  • Critical: Claim is central to contribution and unsupported (submission blocker)
  • Major: Claim is prominent but overclaimed (must fix before submission)
  • Minor: Peripheral claim slightly overstated (fix if time permits)
Show full SKILL.md (254 more words)Show less

Phase 4: Consistency Check

Cross-Section Consistency

Verify these match across the paper:

CheckSections ComparedConsistent?
Numbers matchAbstract vs. Tables
Numbers matchIntroduction claims vs. Experiments
Numbers matchConclusion vs. Tables
Method described consistentlyMethod section vs. Experiments
Contributions listIntroduction vs. Conclusion
Baseline namesRelated Work vs. Experiments
Dataset detailsMethod vs. Experiments
NotationThroughout paper
Common Inconsistencies
  • Abstract says "15% improvement" but table shows 14.7%
  • Introduction lists 3 contributions, conclusion mentions 4
  • Method describes step X but experiments skip it
  • Different notation for same variable in different sections
  • Baseline called "Method-A" in one place and "MethodA" elsewhere

Phase 5: Final Verdict

Verdict Decision Matrix
ConditionVerdict
0 critical overclaims, 0 unsupported claims, 0 contradictionsREADY
0 critical, 1-2 major overclaims, all fixable with word changesREADY WITH EDITS
1+ critical overclaim OR 3+ major overclaimsNEEDS REVISION
Any contradicted claimNEEDS REVISION
Systematic inconsistency across sectionsNEEDS REVISION
Verdict Template
CLAIM AUDIT VERDICT: [READY / READY WITH EDITS / NEEDS REVISION]

Summary Statistics:
- Total claims extracted: N
- Supported: N
- Weakly supported: N
- Unsupported: N
- Overclaimed: N
- Contradicted: N

Critical Issues (submission blockers):
1. [Issue — exact location — required fix]

Major Issues (must fix):
1. [Issue — exact location — suggested fix]

Minor Issues (fix if time permits):
1. [Issue — exact location]

Consistency Errors:
1. [Mismatch — locations]

FINAL DECISION: [CLEARED FOR SUBMISSION / RETURN FOR REVISION]

Execution Protocol

  1. This audit runs AFTER aris-auto-review-loop issues have been addressed
  2. This is a PASS/FAIL gate — there is no "close enough"
  3. If verdict is NEEDS REVISION, specify exactly what must change
  4. Do NOT suggest new experiments — only flag what's claimed vs. shown
  5. Be literal: if the paper says "all", it must mean ALL
  6. Re-run this audit after revisions until READY is achieved

Interaction with Other Skills

  • Runs AFTER: aris-paper-write (structural), aris-auto-review-loop (full review)
  • Runs BEFORE: final submission
  • Complements: aris-citation-audit (which checks references, not claims)
  • This is the LAST gate. If this passes, the paper ships.

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

Files

Just SKILL.md in .codex/skills/aris-paper-claim-audit of appleweiping/WEIPING_WIKI.

Open the folder on GitHubat commit 76fdc42

Compare with similar skills

Aris Paper Claim Audit next to the 5 skills that share the most tags, products or categories with it. Stars are the repository's; “used in” counts other GitHub owners with a copy.

Aris Paper Claim Audit compared with similar skills
SkillStarsUsed inTokensAuto-checkLicenceRepo updated
Aris Paper Claim Audit this skillappleweiping/WEIPING_WIKI119—~1.7kAutomated safety check: PassMIT
Claimsruvnet/ruflo74k1 repos~1.1kAutomated safety check: PassMIT
Extractalirezarezvani/claude-skills28k—~1.4kAutomated safety check: PassMIT
Gate Testsvercel/next.js143k—~2.8kAutomated safety check: PassMIT
Browser Extractruvnet/ruflo74k—~888Automated safety check: NotesMIT
Gateplugin87/ux-ui-agent-skills1.6k—~532Automated safety check: PassMIT

Similar skills

  • Claims

    ruvnet/ruflo

    Claims-based authorization for agents and operations. An agent skill from ruvnet/ruflo.

    74k GitHub starsUsed in 1 repo~1.1k tokens
    Backend & APIsAuto-check passed
  • Extract

    alirezarezvani/claude-skills

    Turn a proven pattern or debugging solution into a standalone reusable skill with SKILL.md, reference docs, and examples.

    28k GitHub stars~1.4k tokensUpdated 1 mo ago
    DevelopmentAuto-check passed
  • Gate Tests

    vercel/next.js

    Official

    How to use the @gate / @force-gate test directives instead of it.skip or fake-green skip patterns.

    143k GitHub stars~2.8k tokensUpdated today
    Auto-check passed
  • Browser Extract

    ruvnet/ruflo

    Extract structured data via stored browser-templates or one-shot DOM queries, with mandatory AIDefence PII + prompt-injection gates before content reaches the model

    74k GitHub stars~888 tokensUpdated yesterday
    SecurityAuto-check: notes
  • Gate

    plugin87/ux-ui-agent-skills

    Run the one-command quality gate and report the real N/N result.

    1.6k GitHub stars~532 tokensUpdated 3 days ago
    Frontend & DesignAuto-check passed
  • Brand Extract

    nexu-io/open-design

    Extract a complete Brand Kit from a live website by driving the in-app browser.

    100k GitHub stars~3.1k tokensUpdated yesterday
    Productivity & AutomationAuto-check passed

More from appleweiping/WEIPING_WIKI

All 51 skills in this repo
  • Communication Assistant

    appleweiping/WEIPING_WIKI

    Unified lazy-mode communication assistant for Vipin across WhatsApp, WeChat, QQ, Feishu/Lark, and email.

    119 GitHub stars~1.1k tokensUpdated 1 mo ago
    Auto-check passed
  • Content Refinement Agent

    appleweiping/WEIPING_WIKI

    Step 5 of the PaperOrchestra pipeline (arXiv:2604.05018). An agent skill from appleweiping/WEIPING_WIKI.

    119 GitHub stars~3k tokensUpdated 1 mo ago
    Auto-check passed
  • Chrome Automation

    appleweiping/WEIPING_WIKI

    Connect to and control Google Chrome browser using agent-browser with CDP (Chrome DevTools Protocol).

    119 GitHub starsUsed in 1 repo~5.3k tokens
    Auto-check: warnings
  • Email Assistant

    appleweiping/WEIPING_WIKI

    Personal Gmail and Google Workspace email assistant for Vipin.

    119 GitHub stars~1.3k tokensUpdated 1 mo ago
    Auto-check passed
  • Wechat Video Channel Publish

    appleweiping/WEIPING_WIKI

    A skill your agent uses when the user wants to log into 微信视频号, validate cookie state, upload videos, set scheduled publish time, fill long description, set a cover image, or save drafts through a…

    119 GitHub stars~765 tokensUpdated 1 mo ago
    Auto-check passed
  • Feishu Bridge

    appleweiping/WEIPING_WIKI

    Route Feishu/Lark content access for Codex. An agent skill from appleweiping/WEIPING_WIKI.

    119 GitHub stars~906 tokensUpdated 1 mo ago
    Auto-check passed

Questions about Aris Paper Claim Audit

What does Aris Paper Claim Audit do?

Codex's FINAL gate role. An agent skill from appleweiping/WEIPING_WIKI. Aris Paper Claim Audit is an agent skill from appleweiping/WEIPING_WIKI. Codex's FINAL gate role.

How do I install Aris Paper Claim Audit in Claude Code?

Run `npx skills add appleweiping/WEIPING_WIKI --skill aris-paper-claim-audit -a claude-code`. Or copy the skill folder (.codex/skills/aris-paper-claim-audit in appleweiping/WEIPING_WIKI) into .claude/skills/aris-paper-claim-audit in your project. Claude Code loads it when a task matches its description.

How do I install Aris Paper Claim Audit in Codex?

Run `npx skills add appleweiping/WEIPING_WIKI --skill aris-paper-claim-audit -a codex`. Or copy the skill folder (.codex/skills/aris-paper-claim-audit in appleweiping/WEIPING_WIKI) into .agents/skills/aris-paper-claim-audit in your project. Codex loads it when a task matches its description.

Can I use Aris Paper Claim Audit in Cursor, Gemini CLI or GitHub Copilot?

Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add appleweiping/WEIPING_WIKI --skill aris-paper-claim-audit -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/aris-paper-claim-audit, .gemini/skills/aris-paper-claim-audit, .github/skills/aris-paper-claim-audit and .opencode/skills/aris-paper-claim-audit in your project.

What does Aris Paper Claim Audit need to run?

SKILL.md names no scripts, command-line tools or credentials: Aris Paper Claim Audit is instructions for the agent only.

Does Aris Paper Claim Audit access the network?

SKILL.md contains no URLs. Any network use would come from the scripts or tools the agent runs. This is read from the text; nothing was executed.

Is Aris Paper Claim Audit safe to install?

Our automated static check of SKILL.md found no risky patterns, such as piping downloads into a shell, reading credential files or hidden Unicode. It is not a guarantee. Review the folder before installing.

What licence does Aris Paper Claim Audit use?

Aris Paper Claim Audit is published under the MIT licence (the repository's licence). It allows redistribution, so the full SKILL.md is shown on this page.

How many tokens does Aris Paper Claim Audit use?

About 1.7k tokens (SKILL.md is roughly 6.7k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full.

What are the alternatives to Aris Paper Claim Audit?

Skills that share tags, products or a category with Aris Paper Claim Audit: Claims (ruvnet/ruflo, 74k stars), Extract (alirezarezvani/claude-skills, 28k stars), Gate Tests (vercel/next.js, 143k stars) and Browser Extract (ruvnet/ruflo, 74k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.

Who maintains Aris Paper Claim Audit?

appleweiping (a GitHub user) maintains it in appleweiping/WEIPING_WIKI, which has 119 GitHub stars. The repository holds 51 skills in this directory. The repository was last updated on August 26, 2026.

Source: appleweiping/WEIPING_WIKI on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.