jpc0/provably-correct-software
Build provably correct software using formal methods like Hoare Logic, Weakest Preconditions, and Design-by-Contract.
99
1.45x
Quality
100%
Does it follow best practices?
Impact
99%
1.45xAverage score across 5 eval scenarios
Securityby
Passed
No findings from the security scan
No evaluation data available
Tessl evals compare success rates of agents with and without our optimized context