predicate-logic — Agent Skill for Coding | Genaihub