Big News: Socket raises $60M Series C at a $1B valuation to secure software supply chains for AI-driven development.Announcement
Sign In
v

vibecheckai

npm

Packages

Current Co-maintainers

Former Co-maintainers

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