a5c-ai/babysitter/library/specializations/domains/science/scientific-discovery/skills/formal-logic-reasoner
用于形式逻辑推理与论证验证的技能。
全部 skill