Hyper: Autonomous coding with proof, control, and hard cost caps

Autonomous coding tool that provides proofs of correctness, fine-grained control, and hard cost caps.

• autonomous coding
• proof
• cost caps