Intent Specification Language

ISL — Intent Specification Language

An executable contract layer for AI-generated code.

Read the Spec Parser VS Code Extension

Provenance

Commit record

Three foundation commits establishing authorship of the ISL standard.

commit date message link
de8b19ce Initial commit - ISL language implementation
83203c33 ISL Evidence Bench Harness
62d62246 @isl-lang/parser — npm package published
Full provenance history →

Specification

Formal grammar

ISL defines a grammar for intent blocks that annotate code modules, functions, and API contracts with machine-verifiable assertions.

Grammar →

Runtime

Executable contracts

Intent blocks are parsed and evaluated at build time or runtime. Violations surface as typed errors with structured exit codes.

Semantics →

Tooling

First-party parser

The @isl-lang/parser npm package ships a zero-dependency parser, AST walker, and serializer for the ISL grammar.

Parser docs →