abstract-structure
Remove domain surface details to expose transferable relational/mechanistic structure at a chosen abstraction level.
@yogsoth-aiInstall SkillAutomation
Skill
/generate-counterexample
Generate a concrete counterexample candidate that satisfies the target claim's stated scope while violating its conclusion or claimed structural property; record whether exclusion would be principled or ad hoc.
Claude Code
$ npx -y skills add yogsoth-ai/de-anthropocentric-research-engine --skill generate-counterexample --agent claude-code
Codex
$ npx skills add yogsoth-ai/de-anthropocentric-research-engine --skill generate-counterexample -a codex -y
Cursor
$ npx skills add yogsoth-ai/de-anthropocentric-research-engine --skill generate-counterexample -a cursor -y
Gemini CLI
$ npx skills add yogsoth-ai/de-anthropocentric-research-engine --skill generate-counterexample -a gemini-cli -y
GitHub Copilot
$ npx skills add yogsoth-ai/de-anthropocentric-research-engine --skill generate-counterexample -a github-copilot -y
OpenCode
$ npx skills add yogsoth-ai/de-anthropocentric-research-engine --skill generate-counterexample -a opencode -y
Windsurf
$ npx skills add yogsoth-ai/de-anthropocentric-research-engine --skill generate-counterexample -a windsurf -y
SKILL.md
generate-counterexample.SKILL.mdname: generate-counterexample description: "Generate a concrete counterexample candidate that satisfies the target claim's stated scope while violating its conclusion or claimed structural property; record whether exclusion would be principled or ad hoc."
generate-counterexample
Purpose
Generate a counterexample candidate within the target claim scope and record whether exclusion is principled.
Input contract
required: [claim, scope, claimed_conclusion] optional: [known_cases, construction_rules] constraints: [candidate must satisfy stated scope before challenging conclusion]
Procedure
1. Identify the claim's necessary commitments. 2. Construct a candidate satisfying scope but violating conclusion. 3. Test the candidate and classify principled versus ad hoc exclusion.
Output contract
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
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 generate-counterexample.
- Which coding agents can use generate-counterexample?
- generate-counterexample 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.