Research Proof

Tvinger research- og benchmark-påstande gennem en frossen-verifier proof ladder i stedet for selvsikker prosa.

Af tonyblu331 · tonyblu331/research-proof

Testet · Virker ★ 9.2/10

Research Proof — Tvinger research- og benchmark-påstande gennem en frossen-verifier proof ladder i stedet for selvsikker prosa.

Hvad det gør

Omdanner en vag research-, benchmark- eller kausal påstand til et struktureret proof-program med faste overskrifter: Claim / Verifier Boundary / Rejection Gates / Verdict / Proof Ledger. Udløses ved research-gennemgange, evalueringsdesign, benchmark- eller kausale påstande, og evidens-sikkerhedsspørgsmål, og tvinger PROVEN/SUPPORTED/REJECTED/OPEN-mærkning i stedet for ukvalificeret selvtillid.

Testrapport

Kørte en reel produktions-latens-påstand gennem begge stier: færdighedsversionen tvang en uafhængig-evaluator-kontrol og en randomiserings-afvisnings-gate, som den frie baseline aldrig rejste, og nedgraderede derefter korrekt dommen fra et uformelt 'stærkt understøttet' til den disciplinerede SUPPORTED-etiket.

Testet: 2026-07-14 · Claude Code 2.x (agent harness)

Installation

git clone https://github.com/tonyblu331/research-proof.git
cd research-proof
mkdir -p ~/.claude/skills
cp -r skills/research-proof ~/.claude/skills/research-proof

Kommandoer og eksempelprompter

/research-proofTvinger research- og benchmark-påstande gennem en frossen-verifier proof ladder i stedet for selvsikker prosa.

Skills udløses af almindelige forespørgsler — ingen kommandoer at huske. Efter installationen aktiverer prompter som disse skillen (på engelsk):

Prove this latency benchmark claim before I publish it
My research says X is faster — verify that properly
Check whether this experiment actually supports its claim

Læs hele rapporten →