Searching protocol for "type predicates"
Automate PRs: accurate titles, descriptions, and verification.