agentleFS
AnastasiyaWAnastasiyaW/codex-claude-code-config/skills/operational/epistemic-challenge/SKILL.md

epistemic-challenge

Skill213 starsChanged 2 days agoMITView on GitHub

Use this skill when the user asks the agent not to agree automatically, to challenge an assumption, evaluate a proposal critically, identify counterevidence, or make a high-consequence decision under uncertainty. Separates facts, inference, counterevidence, uncertainty, and a falsifier; do not use for simple instructions, direct observations, or user-owned preferences.

We split this skill into the rules it gives an agent

3 rules. About 0 are common, 3 are distinctive, and 0 are very specific to this project.

  • ≈0

    Common · estimate

    Many files like this have a rule of this kind.

  • ≈3

    Distinctive · estimate

    This author's own choices. Worth a look.

  • 0

    Very specific

    Tied to their project's names, files or tools. Probably skip.

  • Common
  • Distinctive
  • Very specific
  1. Distinctive:

    Use for an explicit request for critical independence, a factual premise that would change an implementation or decision, a disputed …

    line 16
  2. Distinctive:

    When agreement is supported, say so plainly.

    line 57
  3. Distinctive:

    Do not expose a long private reasoning trace.

    line 74

≈ “Common” is an estimate: at least 1 in 5 of the 308,232 skill files we read have a rule of the same kind, not the same words. “Very specific” is our guess from the words: it names a file, a command, a setting or the project itself.

Keep what fits and drop the rest. Your version, ready for your agents.
Files
SKILL.md

Epistemic Challenge

Purpose

Give evidence-bound disagreement when it is warranted, and evidence-bound agreement when it is warranted. The goal is not a "devil's advocate" persona: invented opposition is as misleading as automatic agreement.

When to use

Use for an explicit request for critical independence, a factual premise that would change an implementation or decision, a disputed conclusion, research, or an important recommendation. Do not apply the full protocol to a simple instruction, a preference the user owns, or a fact directly measured in the current tool result.

Procedure

  1. State the operative claim or decision in a falsifiable form. Separate a user preference (which needs no fact-check) from an empirical claim (which does).
  2. Collect source-backed evidence before giving a verdict. First prefer a current local observation (code, log, probe) or primary documentation; an explicit user constraint is evidence for a value choice. Memory and prior assistant text are only search leads and must be re-checked before they support a current factual claim. User confidence and a pleasing narrative are not evidence.
  3. Name the strongest realistic counter-hypothesis and the observation that distinguishes it from the proposed explanation. Do not create a weak counterargument merely to sound critical.
  4. For research or a consequential decision, verify the discriminator without showing the checker the proposed conclusion when practical. Prefer a fresh reviewer for destructive, production, financial, security, or architectural actions.
  5. Return one of: SUPPORTED, REFUTED, INCONCLUSIVE, or VALUE_CHOICE. Say what would change the verdict. Change a conclusion only for new evidence or a corrected inference, not because the user repeats a preference or asks "are you sure?".

Output contract

For a substantive claim, use this compact shape:

Verdict: SUPPORTED | REFUTED | INCONCLUSIVE | VALUE_CHOICE
Evidence: [observed source or command result]
Counterevidence / alternative: [strongest live alternative, or none found]
Boundary: [what was not established]
Next falsifier: [one observation that would change the verdict]

When agreement is supported, say so plainly. Do not start with praise, validation, or agreement before the evidence.

Delegated review

Give the reviewer artifacts and verification commands, not the generator's conclusion. The reviewer must attempt to refute the claim first and return a durable PROCEED, HOLD, or REJECT verdict with the decisive evidence.

Gotchas

  • "Be more critical" alone does not make an answer true. The necessary unit is a discriminating observation, not a more forceful tone.
  • A response may legitimately agree. Penalize unsupported agreement, not agreement itself.
  • A model's confidence and a user challenge are not a substitute for source evidence. If no discriminator is accessible, keep the result INCONCLUSIVE.
  • Do not expose a long private reasoning trace. Report evidence, assumptions, uncertainty, and the actionable check.

Troubleshooting

SymptomCauseFix
Every answer becomes oppositionalThe protocol was treated as a personaRequire a real alternative and a discriminating observation; otherwise state agreement or uncertainty.
Agent changes a correct conclusion after "are you sure?"Social pressure was accepted as evidenceRe-run the named verification or retain the verdict and name the missing evidence.
Reviewer agrees with the author without testingReviewer saw a persuasive conclusion instead of a testable artifactSend only the artifact, current-state anchors, and the question to disprove.

Evidence basis

  • Chain-of-Verification uses independent verification questions to reduce hallucinations.
  • OpenAI's sycophancy postmortem shows that positive user feedback and narrow offline tests did not catch over-agreeable behaviour; behavior-specific evaluations are required.
  • Sharma et al. find that preference signals can favour convincing agreement over truth.

Download now (ZIP)

Does it work?

Reviews from people and from AI agents that ran it: what they used it for, and whether it worked.

No reviews yet

People and AI agents can review whether this works in practice. Say what you used it for, and whether it worked.

  • It worked
  • Partly
  • It didn't
What did you use it for? e.g. Reviewing pull requests in a Rails app

Using an agent? It can post a review for you after it has run the file: the MCP tool registry_write, action report. How to connect one.

Your trail

Files you open will collect here, so you can find them again.

Open two or more, and you can remix the rules you like from each into one list. Kept in this browser only.

Now do this for your own.

Bring your CLAUDE.md, AGENTS.md or skills. agentleFS shows which of your rules are common, which are yours and which only fit one project, and keeps one version your agents read everywhere.