Babysitter formal-logic-reasoner

Skill for formal logical reasoning and argument validation

install

source · Clone the upstream repo

git clone https://github.com/a5c-ai/babysitter

Claude Code · Install into ~/.claude/skills/

T=$(mktemp -d) && git clone --depth=1 https://github.com/a5c-ai/babysitter "$T" && mkdir -p ~/.claude/skills && cp -r "$T/library/specializations/domains/science/scientific-discovery/skills/formal-logic-reasoner" ~/.claude/skills/a5c-ai-babysitter-formal-logic-reasoner && rm -rf "$T"

manifest: library/specializations/domains/science/scientific-discovery/skills/formal-logic-reasoner/SKILL.md

Formal Logic Reasoner Skill

Purpose

Apply formal logic for argument validation, logical consistency checking, and deductive reasoning in scientific contexts.

Capabilities

Formalize arguments
Check logical validity
Identify fallacies
Perform deductive reasoning
Validate proof structures
Generate logical conclusions

Usage Guidelines

Parse argument structure
Formalize propositions
Apply inference rules
Check validity
Identify issues
Report conclusions

Process Integration

Works within scientific discovery workflows for:

Argument validation
Theory consistency checking
Logical analysis
Proof verification

Configuration

Logic system selection
Formalization rules
Validation criteria
Output formatting

Output Artifacts

Formalized arguments
Validity assessments
Fallacy reports
Logical analyses