predicate-logic: Claude Skill Guide | VaultPlane