Intent Specification Language (ISL) — Closed-world contract language, AST parser, and typechecker for verifiable software and autonomous agents.
typechecker typescript dsl formal-verification ast-parser specification-language ai-agents isl contract-language
-
Updated
Oct 7, 2026 - TypeScript