yogsoth-ai/de-anthropocentric-research-engine

generate-counterexample

Generate a concrete counterexample candidate that satisfies the target claim's stated scope while violating its conclusion or claimed structural property; record whether exclusion would be principled or ad hoc.

Quelltext ansehen

Verwendung

  1. Installationsbefehl kopieren und das Quellpaket vor der Installation in der eigenen Agentenumgebung prüfen.
  2. Benötigte Werkzeuge, Zugangsdaten und Hosts im Original prüfen.
  3. Eingabe und gewünschtes Ergebnis beschreiben und die Ausgabe mit den Quellen abgleichen.
npx skills add https://github.com/yogsoth-ai/de-anthropocentric-research-engine --skill generate-counterexample

Vor dem Start

  • Die Installation umfasst weder Modellabo noch API-Kontingent oder Dateizugriffsrechte.
  • Sterne und Installationen zeigen Aktivität, keine unabhängige Qualitäts- oder Sicherheitsprüfung.
Originales Skill-Dokument

Aus dem Quell-Repository gerendert; Überschriften, Beispiele, Code, Tabellen, Links und Bilder bleiben erhalten.

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

  1. Identify the claim's necessary commitments.
  2. Construct a candidate satisfying scope but violating conclusion.
  3. 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
aus demselben Repository

Weitere Skills

Alle Skills