home/categories/philosophy-ethics/a5c-ai-babysitter-library-specializations-domains-science-scientific-discovery-skills-formal-logic-reasoner-skill-md

philosophy-ethicslifestyle

formal-logic-reasoner

Skill for formal logical reasoning and argument validation

소스 보기 philosophy-ethics

maintainer

a5c-ai

업데이트됨 2026. 3. 25.

스타

538

포크

quick start

Installation and usage

Skill for formal logical reasoning and argument validation

설치

$ install --globalskills.sh

사용법

설치 후 터미널에서 다음 명령을 실행하여 이 스킬을 사용할 수 있습니다:

skills use formal-logic-reasoner