⟳ Репост от Mandy Waite
Thermite got listed agentlanguages.dev/languages/th...
Thermite — agentlanguages.devContract-first language with mandatory req, ens, and fx clauses; Forge reports per-obligation assurance through Verus, bounded checking, runtime contracts, or Lean-checked reconstruction.agentlanguages.dev