Cassandra
Cassandra is continuous integration for the spreadsheets that run your company. An autonomous agent fleet finds the defect, writes the fix, and proves it by recalculating the workbook.
Core trick
Recalculates the modified workbook headlessly after each proposed formula fix to confirm outputs match expected values.