Mode d’emploi
- Copiez la commande et examinez le paquet avant de l’installer dans votre environnement agent.
- Consultez le document original pour les outils, identifiants et environnements requis.
- Décrivez les entrées et le livrable souhaité ; comparez la sortie aux sources.
npx skills add https://github.com/yogsoth-ai/de-anthropocentric-research-engine --skill generate-counterexampleAvant de commencer
- L’installation n’inclut ni abonnement au modèle, ni quota API, ni accès aux fichiers.
- Étoiles et installations reflètent l’activité, pas un test indépendant de qualité ou de sécurité.
Document Skill original
Rendu depuis le dépôt source en conservant titres, exemples, code, tableaux, liens et images.
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
