ADAAS
ADAASADAASMarketplace
About

AIS is a domain-specific language for describing systems as executable architecture: features, contracts, constraints, validations, and the links between them. It is small, readable, and machine-queryable — designed so that AI code generation produces implementations that satisfy the architecture by construction rather than by hope. AIS is a syntax, not a packaged app — there is nothing to download or buy; read the documentation to start writing it.

What makes AIS DSL worth your time.

  • Declarative features, contracts, constraints, and validations.
  • Structural satisfies / verifies links for full traceability.
  • Queryable model — ask ‘what satisfies SRS 3.4.2’ and get an answer.
  • Generation guardrails AI cannot bypass.
  • Editor support via the AIS language server.

What’s new in recent releases.

  1. v0.9.22026-06-10
    • Queryable model API — ask ‘what satisfies X’ from code.
    • Language server: go-to-definition across satisfies/verifies links.
  2. v0.9.02026-05-01
    • Generation guardrails AI cannot bypass.
    • Structural satisfies / verifies links for full traceability.
  3. v0.8.02026-03-18
    • Initial public beta of the AIS grammar and CLI.

AIS DSL is a language — a syntax, not a downloadable app. There is nothing to install or buy; read the documentation to start writing it.

System requirements
Node.js
18 LTS or newer
Editor
VS Code 1.85+ for language support (optional)
Platform
macOS, Windows, Linux