Jak używać
- Skopiuj polecenie instalacji i sprawdź źródła przed instalacją we własnym środowisku agenta.
- W oryginale sprawdź wymagane narzędzia, dane dostępowe i obsługiwane środowiska.
- Opisz dane wejściowe i oczekiwany rezultat; porównaj wynik ze źródłami.
npx skills add https://github.com/yogsoth-ai/de-anthropocentric-research-engine --skill negate-claimPrzed rozpoczęciem
- Instalacja nie obejmuje subskrypcji modelu, limitu API ani uprawnień do plików.
- Gwiazdki i instalacje pokazują aktywność, a nie niezależny test jakości lub bezpieczeństwa.
Oryginalny dokument Skill
Treść z repozytorium z zachowaniem nagłówków, przykładów, kodu, tabel, linków i obrazów.
negate-claim
Purpose
Produce a scope-preserving logical negation of a claim or assumption.
Input contract
yaml
required: [claim, scope, quantifiers]
optional: [formalization, assumptions]
constraints: [negation must preserve the original domain and quantifier structure]Procedure
- Formalize the claim's subject, predicate, and quantifiers.
- Negate the claim without changing its scope.
- Record changed commitments and ambiguities.
Output contract
yaml
produces: [negated_claim, scope_check, changed_commitments]
delta_fields: [findings, uncertainties, decisions]Quality gates
- Quantifier and boundary changes are explicit.
Failure and counterexamples
Do not substitute a contrary claim with a different scope.
Provenance map
- resolved: claim-negation
- resolved: negation-definition
- resolved: axiom-negation
