104 packages
isl-demo
ISL Studio Demo - SHIP/NO_SHIP in action
@isl-lang/cli
Command-line interface for ISL (Intent Specification Language)
@isl-lang/cli-ux
CLI UX components for ISL verification output - pretty rendering and JSON mode
@isl-lang/codegen
ISL code generators - umbrella package for all code generation targets
@isl-lang/codegen-core
Core utilities for deterministic ISL code generation
@isl-lang/codegen-types
TypeScript/Python type and validator generator from ISL
@isl-lang/contract-testing
Contract testing framework for ISL specifications
@isl-lang/core
ISL Core - translator and corpus testing utilities
@isl-lang/coverage
Coverage reporting for ISL verification
@isl-lang/dashboard-api
REST API for ISL verification dashboard — stores reports, coverage, and trends
@isl-lang/errors
Unified error infrastructure for the ISL toolchain - best-in-class error messages
@isl-lang/evaluator
Expression evaluator for ISL - runtime evaluation and verification of contracts
@isl-lang/evidence-schema
Evidence schema with zod validation and stable canonical serialization for ISL verification reports
@isl-lang/gate
ISL Gate - SHIP/NO_SHIP decision engine for code quality verification
@isl-lang/healer
ISL Self-Healing Pipeline - Safe, idempotent code patching with proof bundles
@isl-lang/import-resolver
ISL import resolution - resolves local module imports, detects cycles, and bundles multi-file specs
@isl-lang/isl-core
ISL Core - Parser, Type Checker, Formatter, Linter, and Verification for the Intent Specification Language
@isl-lang/isl-discovery
ISL Discovery Engine - Automatic implementation discovery and binding generation
@isl-lang/isl-lsp
Language Server Protocol implementation for ISL
@isl-lang/isl-ship
ISL full-stack application generator — one spec, one command, running app
@isl-lang/isl-smt
SMT solver integration for ISL - satisfiability checking for preconditions, postconditions, and refinement types
@isl-lang/isl-stdlib
ISL Standard Library Registry - Central index and resolver for all stdlib modules
@isl-lang/isl-verify
ISL verification engine with trust score calculation
@isl-lang/language-server
Language Server Protocol implementation for ISL
@isl-lang/lsp-core
Core language intelligence for ISL LSP - shared analysis and diagnostics