COBOL to Kotlin via Formal Models (IR and Alloy and Golden Master)

Launch HN: Hypercubic (YC F25) – AI for COBOL and Mainframes

"COBOL supports close to 90% of Fortune 500 business systems today."

KTX – npx for Kotlin and JVM to install jars or Kotlin scripts