ISL Studio - Ship decisions with receipts

Generate executable tests with domain-specific assertions from ISL specifications

Command-line interface for ISL (Intent Specification Language)

Temporal property verification for ISL - eventually, within, always

Coverage reporting for ISL verification

ISL Standard Library - Idempotency Key Management

Semantic analysis passes for ISL specifications

ISL static analyzer: tri-state logic (true/false/unknown) for postconditions and invariants without execution. Proves/disproves ISL conditions at compile time via type-constraint propagation.

Contract testing framework for ISL specifications

SMT solver integration for ISL - satisfiability checking for preconditions, postconditions, and refinement types

ISL Standard Library - Audit Logging for Compliance

ISL Discovery Engine - Automatic implementation discovery and binding generation

REST API for ISL verification dashboard — stores reports, coverage, and trends

Core implementation of the AI-PIP protocol. Provides layered, zero-trust context processing (CSL, ISL, AAL) and transversal integrity (CPE)

Sandboxed execution for ISL verification to prevent arbitrary code execution

Evidence schema with zod validation and stable canonical serialization for ISL verification reports

Core utilities for deterministic ISL code generation

VibeCheck Ultimate CLI — Ship with confidence. 65+ commands merged from 4 codebases: kernel infrastructure, ISL verification, Reality Mode, Agent Firewall, MCP Server.

ISL Studio Demo - SHIP/NO_SHIP in action

The original library (my_isl) to handle ISL (Implementation of Schemas without Languages) for Node.js (Beta)