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.

소스 보기

사용 방법

설치 명령을 복사하고 자신의 에이전트 환경에 설치하기 전에 소스 패키지를 확인하세요.
필요한 도구, 인증 정보, 지원 환경은 원본 문서에서 확인하세요.
입력과 원하는 산출물을 설명하고 출처와 결과를 대조하세요.

npx skills add https://github.com/yogsoth-ai/de-anthropocentric-research-engine --skill generate-counterexample

시작 전 확인

설치에는 모델 구독, API 한도, 파일 접근 권한이 포함되지 않습니다.
별점 수와 설치 수는 활동 지표이며 독립적인 품질·보안 검증이 아닙니다.

원본 Skill 문서

원본 저장소의 제목, 예시, 코드, 표, 링크, 이미지를 유지해 표시합니다.

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

Identify the claim's necessary commitments.
Construct a candidate satisfying scope but violating conclusion.
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]