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

(github.com) by rakeshutekar | Aug 6, 2026 | 0 comments on HN