propositional-logic — Agent Skill for Coding | Genaihub