Cómo usar
- Copia el comando y revisa el paquete antes de instalarlo en tu entorno de agente.
- Consulta las herramientas, credenciales y entornos necesarios en el documento original.
- Describe las entradas y el resultado deseado; contrasta la salida con las fuentes.
npx skills add https://github.com/yogsoth-ai/de-anthropocentric-research-engine --skill generate-counterexampleAntes de empezar
- La instalación no incluye suscripción al modelo, cuota API ni permisos sobre tus archivos.
- Las estrellas e instalaciones reflejan actividad, no una prueba independiente de calidad o seguridad.
Documento original del Skill
Contenido del repositorio de origen con títulos, ejemplos, código, tablas, enlaces e imágenes preservados.
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
