使用方法
- 复制安装命令，在自己的智能体环境安装前先检查源码包。
- 从原始文档核对所需工具、凭据和支持的宿主。
- 说明输入材料与期望交付物，并对照来源检查输出。
npx skills add https://github.com/yogsoth-ai/de-anthropocentric-research-engine --skill negate-claim开始前需了解
- 安装不包含模型订阅、API 额度或访问文件的权限。
- 仓库星数和安装量反映活跃情况，不等于独立质量或安全测试。
仓库原始内容
按源仓库内容呈现，保留标题、案例、代码、表格、链接以及原文引用的演示图片。
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
