yogsoth-ai/de-anthropocentric-research-engine

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.

ソースを見る

使い方

  1. インストールコマンドをコピーし、自分の環境へ導入する前にソースを確認します。
  2. 必要なツール、認証情報、対応環境を原文で確認します。
  3. 入力と成果物を指定し、出力を資料と照合します。
npx skills add https://github.com/yogsoth-ai/de-anthropocentric-research-engine --skill generate-counterexample

開始前の確認

  • 導入にはモデル契約、API枠、ファイルへのアクセス許可は含まれません。
  • スター数や導入数は活動の指標であり、独立した品質・安全性試験ではありません。
リポジトリの原文

見出し、例、コード、表、リンク、参照画像を含む原文を表示しています。

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

  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

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
同じリポジトリから

関連する Skills

すべての Skills