How to use
- Copy the installation command and review the source package before installing it in your own agent environment.
- Check the source document for required tools, credentials and supported hosts.
- Describe your input and desired deliverable; review the output against the source material.
npx skills add https://github.com/yogsoth-ai/de-anthropocentric-research-engine --skill generate-counterexampleBefore you start
- Installation does not include a model subscription, API allowance or permission to access your files.
- Repository stars and installation counts describe activity, not an independent quality or security test.
Original skill document
Rendered from the source repository. Headings, examples, code, tables, links, and referenced images are preserved.
generate-counterexample
Purpose
Generate a counterexample candidate within the target claim scope and record whether exclusion is principled.
Input contract
yaml
required: [claim, scope, claimed_conclusion]
optional: [known_cases, construction_rules]
constraints: [candidate must satisfy stated scope before challenging conclusion]Procedure
- Identify the claim's necessary commitments.
- Construct a candidate satisfying scope but violating conclusion.
- Test the candidate and classify principled versus ad hoc exclusion.
Output contract
yaml
produces: [counterexample_candidate, scope_check, violation, exclusion_assessment]
delta_fields: [findings, evidence_updates, uncertainties, decisions]Quality gates
- Preserve the original scope and show the violated conclusion explicitly.
Failure and counterexamples
An out-of-scope case is not a counterexample; record it separately.
Provenance map
- resolved: counterexample-generation
- resolved: counterexample-heuristics
