Objective – Tickets, file claims, and proof gates for coding agents

**Project Summary** Objective - Tickets is an open-source project that enables the addition of AI capabilities to coding agents without requiring a complete mod