propositional-logic: Claude Skill Guide | VaultPlane