abstract-structure
Remove domain surface details to expose transferable relational/mechanistic structure at a chosen abstraction level.
@yogsoth-aiInstall SkillAutomation
Skill
/negate-claim
Produce a scope-preserving logical negation of a claim or assumption.
Claude Code
$ npx -y skills add yogsoth-ai/de-anthropocentric-research-engine --skill negate-claim --agent claude-code
Codex
$ npx skills add yogsoth-ai/de-anthropocentric-research-engine --skill negate-claim -a codex -y
Cursor
$ npx skills add yogsoth-ai/de-anthropocentric-research-engine --skill negate-claim -a cursor -y
Gemini CLI
$ npx skills add yogsoth-ai/de-anthropocentric-research-engine --skill negate-claim -a gemini-cli -y
GitHub Copilot
$ npx skills add yogsoth-ai/de-anthropocentric-research-engine --skill negate-claim -a github-copilot -y
OpenCode
$ npx skills add yogsoth-ai/de-anthropocentric-research-engine --skill negate-claim -a opencode -y
Windsurf
$ npx skills add yogsoth-ai/de-anthropocentric-research-engine --skill negate-claim -a windsurf -y
SKILL.md
negate-claim.SKILL.mdname: negate-claim description: "Produce a scope-preserving logical negation of a claim or assumption."
negate-claim
Purpose
Produce a scope-preserving logical negation of a claim or assumption.
Input contract
required: [claim, scope, quantifiers] optional: [formalization, assumptions] constraints: [negation must preserve the original domain and quantifier structure]
Procedure
1. Formalize the claim's subject, predicate, and quantifiers. 2. Negate the claim without changing its scope. 3. Record changed commitments and ambiguities.
Output contract
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
Ships withde-anthropocentric-research-engine
A research skill graph for AI-native science. 271 markdown files. No runtime, no dependencies, no build step.
512200 skills
Stars on GitHub
Momentum
- stars in total
- 512
Other skills on de-anthropocentric-research-engine.
@yogsoth-aiInstall Skilladjudicate-exchange
Evaluate competing arguments against stated criteria and produce a reasoned verdict with uncertainty.
@yogsoth-aiInstall Skilladjust-abstraction-sco…
Move a scientific object up/down in abstraction or narrow/broaden selected scope dimensions (population, mechanism, context,…
@yogsoth-aiInstall Skilladversarial-deliberati…
Run structured attack/defense/adjudication over a claim, candidate, criterion set, or current winner. Perspective, target,…
@yogsoth-aiInstall Skillaggregate-ranking
Aggregate criterion or comparison results into an ordered recommendation under an explicit rule.
@yogsoth-aiInstall Skillanalogical-discovery
Abstract relational structure from source domains, map it to the target, validate depth, and instantiate transferable mechanisms.
@yogsoth-aiInstall SkillMore skills from other plugins.
browser-use
Direct browser control via CDP for web interaction: automation, scraping, testing, screenshots, and site/app work. Also covers…
@browser-useInstall Skillagent-browser
Browser automation CLI for AI agents. Use when the user needs to interact with websites, including navigating pages, filling…
@vercel-labs-2Install Skill
Questions about negate-claim.
- Which coding agents can use negate-claim?
- negate-claim installs in Claude Code, Codex, Cursor, Gemini CLI, GitHub Copilot, OpenCode and Windsurf with the skills CLI, using each agent's flag shown on this page. Flowy's auto-invocation, which fires a skill when your prompt matches, runs in Claude Code only.