https://pypi.org/project/giro/ Recent updates to the Python Package Index for giro en https://pypi.org/project/giro/0.0.1/ Guarded-loop engine for AI coding agents: Specs become verified work through bounded loops that end in proof or escalation, never a silent stop. Thu, 06 Aug 2026 23:49:12 GMT