open-index/open-npm huggingface dataset:
npm package: @isioma/uikit
Description: Set of UI components for apeswap projects
Latest version: 1.0.8

# ApeSwap UIkit


ApeSwap UIkit is a set of React components and hooks used to build pages on ApeSwap's apps. It also contains a theme file for dark and light mode.

## Install

`yarn add @apeswapfinance/uikit`

## Setup

### Theme

Before using ApeSwap UIkit, you need to provide the theme file to styled-component.

```
import { ThemeProvider } from 'styled-components'
import { light, dark } from '@apeswapfinance/uikit'
...
<ThemeProvider theme={isDark}>...</ThemeProvider>
```

### Reset

A reset CSS is available as a global styled component.

```
import { ResetCSS } from '@apeswapfinance/uikit'
...
<ResetCSS />
```

### Types

This project is built with Typescript and export all the relevant types.
npm package: @isirthijs/barcode-scanner
Description: A simple wedge barcode scanner module with support for the shift modifier key
Author: Thijs Spijker
Latest version: 1.2.0

# JS barcode scanner

A simple barcode scanner with support for shift modifier key.

This package is specifically written for the Rakinda RD4500R USB barcode scanner, but can be used with other 'wedge' usb barcodescanners

Note: Since a wedge scanner is seen as a keyboard on the OS you need elevated rights on macOS or Linux to use the package. You can also specify a udev rule in Linux to own the scanner.

## Installation

Use npm to install the package

```bash
npm install @isirthijs/barcode-scanner
```

## Usage

### Initialize

create a new instance of a scanner by passing the productID/vendorID or the path of the scanner into the constructor

```js
const UsbScanner = require('@isirthijs/barcode-scanner');

// Using vendorID and ProductID
const options = {
	vendorID:  1234,
	productID: 5678
}
// Using path
const options = {
	path: 'IOService:/AppleACPI....'
}

const scanner = new UsbScanner(options)
```

### Reading barcodes

```js
scanner.on('data', (data) => {
	/// your code
	console.log(data);
});

scanner.startScanning()
```

## Complete API

### UsbScanner.showDevices()

* Returns the devices connected to the computer. 

### scanner = new UsbScanner(options)

* Creates and opens a new scanner using the options
	* `vendorID` - *number* - the vendorID of the device
	* `productID` - *number* - the productID of the device
	* `path` - *string* the path of the devices
	* `vCardString` -  *boolean* - default: `true` - If true returns vCards as one string, instead of separate strings.
	* `vCardSeperator` *string* - default: `'|'` - If vCard string is true, this will be used as separation between the strings.

### scanner.startScanning()

* Starts listening for barcodes

### scanner.stopScanning()

* Stops listening for barcodes and closes the HID device.

### scanner.on('data', functions(data) {})

* listen for the `data` event to receive the barcode
* `data` - a `string` containing the barcode as readable text from the scanner
npm package: @isirthijs/quick-logger
Description: A simple logger to be bundled in your webapp/library!
Latest version: 1.1.1

# Quicklogger
A simple logger to be bundled in your webapp/library!

## Features
It now only has a basic log functionality, but I will add features when I need them. 

- [x] Basic loggers: log, debug, info, warn and error
- [x] Labels with colours to distinguish modules/parts of your code
- [x] Support for using sub-labels with semicolon like this: `label:sublabel` where the colour will be shared
- [x] Support for additional arguments
- [x] Group debug logs when it has objects and arrays or multiple values (saving screen space)

A few things are already on the roadmap:

- [ ] Enable logging based on query parameters and local storage
- [ ] Send logs to a server
- [ ] Give control over the logging to the user (ask for permission to send logs to server)
- [ ] CommonJS and UMD bundles

### Why built another logger?
I've created this module to log and debug front-end issues. There are many libraries out there, but most don't support bundling, especially with rollup, which I favor at the moment. I built my own small micro-library to get logging in my projects started right away. Also want the ability to log stuff to a server, but only after the user allows this!(which I will built in later)

## Install
For now use npm install to get the package and bundle it with rollup (or any other bundler) or use it as a native module. 

Use import:
```js
import quicklogger from '@isirthijs/quicklogger'
```

## Basic Usage

### Create a logger
```js
// Normal label
const logger = quicklogger('mylabel');

// with sublabel
const logger2 = quicklogger('mylabel:mysublabel');
```

### Using the logger
```js

// Trace and logger both allow additional arguments to be passed. These will be displayed in collapsed groups
logger.trace('Message', '1234') // Trace needs an ID to add to the message (so you can group something)
logger.debug('Obligatory')

// These methods also allow to be passed additional arguments, but will pass it trough to their native function
logger.log('World')
logger.info('Hello')
logger.warn('Hello')

// Error only takes 1 argument!
logger.error('World')

```

## Full API
Full api will be added here soon
npm package: @iskl/vue2-display-box
Description: 主要功能
Latest version: 1.4.2

## vue2 状态管理的容器

主要功能

1. 在请求的时候是 loading 的状态
2. 请求结束之后有

- 空
- error
- resolve

3. 默认状态通过 `slot` 传入
npm package: @isky04/node-red-ds3502
Description: Node-RED node for i2c Potentiometer DS3502
Author: Alexander
Latest version: 0.0.5

# node-red-ds3502

Node-Red node für i2c Potentiometer ds3502.<br>

## Node Features
- Eine Zahl 0 - 127 wird übergeben, je nach Zahl hat das Poti dann einen Wert von 0 Ohm - 10 kOhm
- Der Wert wird immer im EEPROM gespeichert
- Der Aktule Wert 0 - 127 wird ausgelesen
- Busadresse 'xx' kann gesetzt werden (/dev/i2c-xx).
- Die Deviceadresse kann gesetzt werden 0x28 - 0x2b (je nach Adresspin A0 - A1).

## Install

Install with Node-Red Palette Manager or run npm command:
```
cd ~/.node-red
npm install @isky04/node-red-ds3502
```
## Usage


## Getestet mit
- Raspberry Pi4 mit VanPi OS 2.0.0.
- node-red 4.0.1
npm package: @isky04/node-red-xl9535
Description: Node-RED node for i2c IO Expander XL9535
Author: Alexander Hofmann
Latest version: 0.0.3

# node-red-xl9535

Node-Red node für i2c IO Relais Erweiterung mit XL9535(China clone des TCA95535) Chip.<br>
Die Relais Karte habe ich mir bei [Aliexpress](https://de.aliexpress.com/i/1005005883903139.html) besorgt
und betreibe sie mit meinem VanPiCore von [PeKaWay](https://pekaway.de/collections/alle-produkte/products/van-pi-core-pcb).<br>

## Node Features
- Jeder IO Pin (0-15) kann als Ein- oder Ausgang verwendet werden
- Der Eingangsstatus der Eingangspins kann ausgelesen werden
- Die Ausgangspins können auf 0 oder 1 gesetzt werden.
- Busadresse 'xx' kann gesetzt werden (/dev/i2c-xx).
- Die Deviceadresse kann gesetzt werden 0x20 - 0x27 (je nach Adresspin A0 - A2).

## Install

Install with Node-Red Palette Manager or run npm command:
```
cd ~/.node-red
npm install @isky04/node-red-xl9535
```
## Usage

run raspi-config to enable I2C<br>
in nodes configuration choose correct pin number, I2C address 0x2x and Bus address(/dev/i2c-xx) <br>
for input inject msg.payload = true/1 for high state and false/0 for low state<br>
for output inject any value to trigger reading<br>

## Getestet mit
- Raspberry Pi4 mit VanPi OS 2.0.0.
- node-red 4.0.1
npm package: @isl-lang/cli
Description: Command-line interface for ISL (Intent Specification Language)
Author: ISL Team
Latest version: 0.1.0

# @isl-lang/cli

Command-line interface for ISL (Intent Specification Language).

## Installation

```bash
# Global installation (recommended)
npm install -g @isl-lang/cli

# Or use npx
npx @isl-lang/cli <command>
```

## Quick Start

```bash
# Initialize a new ISL project
isl init my-project

# Parse and validate ISL files
isl check specs/*.isl

# Generate code
isl generate --target typescript specs/

# Start the REPL
isl repl

# Get help
isl --help
```

## Commands

### `isl init [name]`

Initialize a new ISL project with recommended structure.

```bash
isl init my-api
cd my-api
```

Creates:
- `isl.config.yaml` - Project configuration
- `specs/` - Directory for ISL specifications
- `generated/` - Output directory for generated code

### `isl check <files...>`

Parse and type-check ISL files.

```bash
isl check specs/*.isl
isl check --strict specs/
```

Options:
- `--strict` - Enable strict mode (all warnings become errors)
- `--format <format>` - Output format (text, json, sarif)

### `isl generate <files...>`

Generate code from ISL specifications.

```bash
# Generate TypeScript
isl generate --target typescript specs/

# Generate Python
isl generate --target python --output src/generated specs/

# Generate OpenAPI
isl generate --target openapi specs/api.isl
```

Options:
- `--target, -t` - Target language (typescript, python, rust, go, openapi, graphql)
- `--output, -o` - Output directory
- `--config, -c` - Config file path

### `isl verify <files...>`

Formally verify ISL specifications.

```bash
isl verify specs/critical-flow.isl
```

### `isl repl`

Start an interactive REPL for exploring ISL.

```bash
isl repl
```

### `isl format <files...>`

Format ISL files.

```bash
isl format specs/*.isl --write
```

### `isl lsp`

Start the Language Server Protocol server.

```bash
isl lsp --stdio
```

## Configuration

Create `isl.config.yaml` in your project root:

```yaml
version: 1

# Default generation target
target: typescript

# Output directory
output: ./generated

# Include paths for imports
include:
  - ./specs
  - ./node_modules/@company/shared-specs

# Generation options
codegen:
  typescript:
    runtime: true
    validators: true
  python:
    framework: fastapi
    pydantic: v2
```

## Environment Variables

- `ISL_CONFIG` - Path to config file
- `ISL_DEBUG` - Enable debug output
- `ISL_NO_COLOR` - Disable colored output

## Documentation

Full documentation: https://isl-lang.dev/docs/cli

## Related Packages

- [@isl-lang/parser](https://npm.im/@isl-lang/parser) - ISL parser
- [@isl-lang/codegen](https://npm.im/@isl-lang/codegen) - Code generators
- [@isl-lang/repl](https://npm.im/@isl-lang/repl) - Interactive REPL

## License

MIT
npm package: @isl-lang/codegen-types
Description: TypeScript/Python type and validator generator from ISL
Author: mevla
Latest version: 1.0.0

# @isl-lang/codegen-types

> TODO: Add description

## Installation

```bash
pnpm add @isl-lang/codegen-types
```

## Usage

```typescript
import {} from '@isl-lang/codegen-types';
```

## API

_TODO: Document public API._

## Development

```bash
pnpm build        # Build the package
pnpm test         # Run tests
pnpm typecheck    # Type-check without emit
pnpm clean        # Remove dist/
```

## License

MIT
npm package: @isl-lang/core
Description: ISL Core - translator and corpus testing utilities
Author: mevla
Latest version: 0.1.1

# @isl-lang/core

> TODO: Add description

## Installation

```bash
pnpm add @isl-lang/core
```

## Usage

```typescript
import {} from '@isl-lang/core';
```

## API

_TODO: Document public API._

## Development

```bash
pnpm build        # Build the package
pnpm test         # Run tests
pnpm typecheck    # Type-check without emit
pnpm clean        # Remove dist/
```

## License

MIT
npm package: @isl-lang/coverage
Description: Coverage reporting for ISL verification
Author: mevla
Latest version: 1.0.0

# @isl-lang/coverage

> TODO: Add description

## Installation

```bash
pnpm add @isl-lang/coverage
```

## Usage

```typescript
import {} from '@isl-lang/coverage';
```

## API

_TODO: Document public API._

## Development

```bash
pnpm build        # Build the package
pnpm test         # Run tests
pnpm typecheck    # Type-check without emit
pnpm clean        # Remove dist/
```

## License

MIT
npm package: @isl-lang/dashboard-api
Description: REST API for ISL verification dashboard — stores reports, coverage, and trends
Latest version: 1.0.0

# @isl-lang/dashboard-api

> TODO: Add description

## Installation

```bash
pnpm add @isl-lang/dashboard-api
```

## Usage

```typescript
import {} from '@isl-lang/dashboard-api';
```

## API

_TODO: Document public API._

## Development

```bash
pnpm build        # Build the package
pnpm test         # Run tests
pnpm typecheck    # Type-check without emit
pnpm clean        # Remove dist/
```

## License

MIT
npm package: @isl-lang/errors
Description: Unified error infrastructure for the ISL toolchain - best-in-class error messages
Author: mevla
Latest version: 2.0.0

# @isl-lang/errors

> TODO: Add description

## Installation

```bash
pnpm add @isl-lang/errors
```

## Usage

```typescript
import {} from '@isl-lang/errors';
```

## API

_TODO: Document public API._

## Development

```bash
pnpm build        # Build the package
pnpm test         # Run tests
pnpm typecheck    # Type-check without emit
pnpm clean        # Remove dist/
```

## License

MIT
npm package: @isl-lang/evaluator
Description: Expression evaluator for ISL - runtime evaluation and verification of contracts
Author: ISL Team
Latest version: 1.0.0

# @isl-lang/evaluator

Expression evaluator for ISL - runtime evaluation and verification of contracts.

## Installation

```bash
npm install @isl-lang/evaluator
# or
pnpm add @isl-lang/evaluator
```

## Usage

```typescript
import { Evaluator, createContext } from '@isl-lang/evaluator';

// Create evaluation context with bindings
const context = createContext({
  user: {
    name: 'Alice',
    age: 25,
    email: 'alice@example.com'
  },
  config: {
    maxUsers: 100
  }
});

// Evaluate expressions
const evaluator = new Evaluator(context);

// Simple expressions
evaluator.evaluate('user.age >= 18'); // true
evaluator.evaluate('user.name.length > 0'); // true
evaluator.evaluate('config.maxUsers'); // 100

// Contract validation
const precondition = 'user.age >= 18 && user.email.contains("@")';
const isValid = evaluator.evaluate(precondition);
```

## API

### `Evaluator`

Main evaluator class.

```typescript
const evaluator = new Evaluator(context);

// Evaluate expression to value
const result = evaluator.evaluate(expression);

// Evaluate with type checking
const typed = evaluator.evaluateTyped(expression);
```

### `createContext(bindings: object): EvalContext`

Create an evaluation context with variable bindings.

### `validateContract(contract: Contract, context: EvalContext): ValidationResult`

Validate a contract (precondition/postcondition) against a context.

```typescript
import { validateContract } from '@isl-lang/evaluator';

const result = validateContract(
  { expression: 'input.amount > 0', type: 'precondition' },
  context
);

if (!result.valid) {
  console.error('Contract violation:', result.message);
}
```

## Expression Language

Supported operators and functions:

### Comparison
- `==`, `!=`, `<`, `>`, `<=`, `>=`

### Logical
- `&&`, `||`, `!`

### Arithmetic
- `+`, `-`, `*`, `/`, `%`

### String
- `.length`, `.contains()`, `.startsWith()`, `.endsWith()`

### Collection
- `.includes()`, `.every()`, `.some()`, `.filter()`, `.map()`

### Type checking
- `.isNull()`, `.isValid()`, `.typeof()`

## Documentation

Full documentation: https://isl-lang.dev/docs/evaluator

## Related Packages

- [@isl-lang/parser](https://npm.im/@isl-lang/parser) - ISL parser
- [@isl-lang/typechecker](https://npm.im/@isl-lang/typechecker) - Type checker

## License

MIT
npm package: @isl-lang/gate
Description: ISL Gate - SHIP/NO_SHIP decision engine for code quality verification
Author: mevla
Latest version: 1.0.0

# @isl-lang/gate

> TODO: Add description

## Installation

```bash
pnpm add @isl-lang/gate
```

## Usage

```typescript
import {} from '@isl-lang/gate';
```

## API

_TODO: Document public API._

## Development

```bash
pnpm build        # Build the package
pnpm test         # Run tests
pnpm typecheck    # Type-check without emit
pnpm clean        # Remove dist/
```

## License

MIT
npm package: @isl-lang/isl-lsp
Description: Language Server Protocol implementation for ISL
Author: mevla
Latest version: 0.1.1

# @isl-lang/isl-lsp

> TODO: Add description

## Installation

```bash
pnpm add @isl-lang/isl-lsp
```

## Usage

```typescript
import {} from '@isl-lang/isl-lsp';
```

## API

_TODO: Document public API._

## Development

```bash
pnpm build        # Build the package
pnpm test         # Run tests
pnpm typecheck    # Type-check without emit
pnpm clean        # Remove dist/
```

## License

MIT
npm package: @isl-lang/isl-verify
Description: ISL verification engine with trust score calculation
Author: mevla
Latest version: 1.0.0

# @isl-lang/isl-verify

> TODO: Add description

## Installation

```bash
pnpm add @isl-lang/isl-verify
```

## Usage

```typescript
import {} from '@isl-lang/isl-verify';
```

## API

_TODO: Document public API._

## Development

```bash
pnpm build        # Build the package
pnpm test         # Run tests
pnpm typecheck    # Type-check without emit
pnpm clean        # Remove dist/
```

## License

MIT
npm package: @isl-lang/language-server
Description: Language Server Protocol implementation for ISL
Author: mevla
Latest version: 1.0.0
Deprecated: Deprecated: use @isl-lang/lsp-server instead.

# @isl-lang/language-server

> TODO: Add description

## Installation

```bash
pnpm add @isl-lang/language-server
```

## Usage

```typescript
import {} from '@isl-lang/language-server';
```

## API

_TODO: Document public API._

## Development

```bash
pnpm build        # Build the package
pnpm test         # Run tests
pnpm typecheck    # Type-check without emit
pnpm clean        # Remove dist/
```

## License

MIT
npm package: @isl-lang/parser
Description: ISL (Intent Specification Language) recursive descent parser - transforms ISL source into AST
Author: ISL Team
Latest version: 1.0.0

# @isl-lang/parser

ISL parser - transforms ISL (Intent Specification Language) source code into an Abstract Syntax Tree.

## Installation

```bash
npm install @isl-lang/parser
# or
pnpm add @isl-lang/parser
# or
yarn add @isl-lang/parser
```

## Usage

```typescript
import { parse, parseFile } from '@isl-lang/parser';

// Parse ISL source code
const ast = parse(`
  domain UserManagement {
    intent CreateUser {
      input {
        name: string
        email: email
      }
      output {
        id: uuid
        createdAt: timestamp
      }
      preconditions {
        name.length > 0
        email.isValid()
      }
      postconditions {
        result.id != null
      }
    }
  }
`);

// Parse from file
const astFromFile = parseFile('./specs/user.isl');
```

## API

### `parse(source: string, options?: ParseOptions): AST`

Parse ISL source code into an AST.

**Parameters:**
- `source` - ISL source code string
- `options` - Optional parsing configuration
  - `filename` - Source filename for error messages
  - `startRule` - Starting grammar rule (default: 'program')

**Returns:** Abstract Syntax Tree

### `parseFile(path: string, options?: ParseOptions): AST`

Parse an ISL file from the filesystem.

**Parameters:**
- `path` - Path to the ISL file
- `options` - Optional parsing configuration

**Returns:** Abstract Syntax Tree

### `tokenize(source: string): Token[]`

Tokenize ISL source code into a stream of tokens.

### AST Node Types

The parser produces nodes conforming to the ISL AST specification:

- `Program` - Root node containing all declarations
- `Domain` - Domain definition with intents and types
- `Intent` - Intent definition with I/O and contracts
- `Type` - Type definitions (entity, value, enum)
- `Expression` - Contract expressions

## Error Handling

```typescript
import { parse, ParseError } from '@isl-lang/parser';

try {
  const ast = parse(source);
} catch (error) {
  if (error instanceof ParseError) {
    console.error(`Parse error at ${error.location}:`);
    console.error(error.message);
  }
}
```

## Documentation

Full documentation: https://isl-lang.dev/docs/parser

## Related Packages

- [@isl-lang/typechecker](https://npm.im/@isl-lang/typechecker) - Semantic analysis
- [@isl-lang/evaluator](https://npm.im/@isl-lang/evaluator) - Expression evaluation
- [@isl-lang/cli](https://npm.im/@isl-lang/cli) - Command-line interface

## License

MIT
npm package: @isl-lang/pipeline
Description: ISL Pipeline: NL → ISL → Code → Gate → Proof
Author: ISL Team
Latest version: 1.0.0

# @isl-lang/pipeline

> TODO: Add description

## Installation

```bash
pnpm add @isl-lang/pipeline
```

## Usage

```typescript
import {} from '@isl-lang/pipeline';
```

## API

_TODO: Document public API._

## Development

```bash
pnpm build        # Build the package
pnpm test         # Run tests
pnpm typecheck    # Type-check without emit
pnpm clean        # Remove dist/
```

## License

MIT
npm package: @isl-lang/proof
Description: ISL Proof Bundle - verifiable proof that spec is satisfied
Author: ISL Team
Latest version: 1.0.0

# @isl-lang/proof

> TODO: Add description

## Installation

```bash
pnpm add @isl-lang/proof
```

## Usage

```typescript
import {} from '@isl-lang/proof';
```

## API

_TODO: Document public API._

## Development

```bash
pnpm build        # Build the package
pnpm test         # Run tests
pnpm typecheck    # Type-check without emit
pnpm clean        # Remove dist/
```

## License

MIT
npm package: @isl-lang/prover
Description: Formal verification for ISL - SMT-based proving, property verification, and counterexample generation
Author: mevla
Latest version: 0.1.0
Deprecated: Deprecated: package not ready for public use. Will not receive updates.

# @isl-lang/prover

> TODO: Add description

## Installation

```bash
pnpm add @isl-lang/prover
```

## Usage

```typescript
import {} from '@isl-lang/prover';
```

## API

_TODO: Document public API._

## Development

```bash
pnpm build        # Build the package
pnpm test         # Run tests
pnpm typecheck    # Type-check without emit
pnpm clean        # Remove dist/
```

## License

MIT
npm package: @isl-lang/reality-probe
Description: Reality Prober - Probe real routes, env vars, and critical dependencies to detect ghost features
Latest version: 0.1.1

# Reality Prober

**Agent 17 — Reality Prober**

Makes runtime verification "grounded": probes real routes, env vars, and critical dependencies to detect ghost features.

## Features

- **HTTP Route Probing**: Tests routes against a running server using OpenAPI specs or route maps
- **Environment Variable Verification**: Ensures required env vars exist and aren't placeholders
- **Ghost Feature Detection**: Identifies routes/env vars that are claimed but don't actually exist
- **Gate Score Integration**: Findings feed into the verification gate score

## Usage

### CLI Integration

```bash
# Enable reality probe with verify command
isl verify --reality --reality-base-url http://localhost:3000

# With custom route map and env vars
isl verify --reality \
  --reality-base-url http://localhost:3000 \
  --reality-route-map .shipgate/truthpack/routes.json \
  --reality-env-vars .shipgate/truthpack/env.json

# Enable all verification modes including reality probe
isl verify --all --reality-base-url http://localhost:3000
```

### Programmatic API

```typescript
import { runRealityProbe } from '@isl-lang/reality-probe';

const result = await runRealityProbe({
  baseUrl: 'http://localhost:3000',
  routeMapPath: '.shipgate/truthpack/routes.json',
  envVarsPath: '.shipgate/truthpack/env.json',
  timeoutMs: 10000,
  verbose: true,
});

console.log(`Ghost routes: ${result.summary.ghostRoutes}`);
console.log(`Ghost env vars: ${result.summary.ghostEnvVars}`);
```

## How It Works

1. **Route Probing**:
   - Loads routes from OpenAPI spec or truthpack route map
   - Probes each route against the running server
   - Detects ghost routes (claimed but don't exist)
   - Captures status codes and latency

2. **Environment Variable Verification**:
   - Loads required env vars from truthpack
   - Checks if they exist in runtime environment
   - Detects placeholder values (e.g., "changeme", "your-key-here")
   - Identifies ghost env vars (required but missing)

3. **Gate Score Integration**:
   - Ghost routes/env vars contribute to evidence score
   - Failures reduce overall trust score
   - Findings appear in verification report

## Acceptance Test

A spec claiming `/api/foo` exists fails when the server doesn't actually serve it, and the gate reflects it.

```bash
# Spec claims /api/foo exists, but server doesn't serve it
isl verify --reality --reality-base-url http://localhost:3000

# Output:
# ✗ 1 ghost routes detected
#   Route GET /api/foo: Ghost route detected: Route does not exist
# Verification failed - ghost features detected
```

## Configuration

The reality probe auto-detects truthpack files if not explicitly provided:

- Route map: `.shipgate/truthpack/routes.json` (default)
- Env vars: `.shipgate/truthpack/env.json` (default)

## License

MIT
npm package: @isl-lang/repl
Description: Interactive REPL for exploring ISL specifications
Author: ISL Team
Latest version: 0.1.1

# @isl-lang/repl

Interactive REPL for exploring ISL (Intent Specification Language) specifications.

## Installation

```bash
npm install -g @isl-lang/repl

# Or use via the CLI
npm install -g @isl-lang/cli
isl repl
```

## Usage

```bash
# Start the REPL
isl-repl

# Or via the main CLI
isl repl
```

### REPL Commands

```
ISL REPL v0.1.0
Type .help for available commands

isl> .help
  .help           Show this help message
  .load <file>    Load an ISL file
  .clear          Clear the current context
  .types          Show loaded types
  .intents        Show loaded intents
  .domains        Show loaded domains
  .ast            Show AST for last input
  .exit           Exit the REPL

isl> domain Test {
...>   type User { id: uuid, name: string }
...> }
Domain 'Test' defined with 1 type

isl> .types
  Test.User { id: uuid, name: string }

isl> .load ./specs/api.isl
Loaded: ./specs/api.isl (3 domains, 12 intents)
```

## Programmatic Usage

```typescript
import { Repl, createReplContext } from '@isl-lang/repl';

// Create a REPL instance
const repl = new Repl({
  prompt: 'myapp> ',
  historyFile: '.myapp_history',
});

// Pre-load files
await repl.loadFile('./specs/base.isl');

// Evaluate expressions
const result = await repl.evaluate('type User { name: string }');

// Start interactive mode
repl.start();
```

## Features

- **Syntax highlighting** - Colorized ISL syntax
- **Auto-completion** - Tab completion for keywords and loaded symbols
- **History** - Command history with up/down arrows
- **Multi-line input** - Automatic detection of incomplete input
- **File loading** - Load and explore existing ISL files
- **AST inspection** - View the parsed AST

## Configuration

Create `.islrc` in your home directory:

```json
{
  "historySize": 1000,
  "prompt": "isl> ",
  "colors": true,
  "autoLoad": ["~/.isl/prelude.isl"]
}
```

## Documentation

Full documentation: https://isl-lang.dev/docs/repl

## Related Packages

- [@isl-lang/cli](https://npm.im/@isl-lang/cli) - Full CLI tool
- [@isl-lang/parser](https://npm.im/@isl-lang/parser) - ISL parser

## License

MIT
npm package: @isl-lang/runtime-sdk
Description: SDK for embedding ISL verification in production code
Author: mevla
Latest version: 0.1.0

# @isl-lang/runtime-sdk

> TODO: Add description

## Installation

```bash
pnpm add @isl-lang/runtime-sdk
```

## Usage

```typescript
import {} from '@isl-lang/runtime-sdk';
```

## API

_TODO: Document public API._

## Development

```bash
pnpm build        # Build the package
pnpm test         # Run tests
pnpm typecheck    # Type-check without emit
pnpm clean        # Remove dist/
```

## License

MIT
npm package: @isl-lang/runtime-universal
Description: Universal runtime engine for ISL - execute intent specifications across any environment
Author: mevla
Latest version: 1.0.0

# @isl-lang/runtime-universal

> TODO: Add description

## Installation

```bash
pnpm add @isl-lang/runtime-universal
```

## Usage

```typescript
import {} from '@isl-lang/runtime-universal';
```

## API

_TODO: Document public API._

## Development

```bash
pnpm build        # Build the package
pnpm test         # Run tests
pnpm typecheck    # Type-check without emit
pnpm clean        # Remove dist/
```

## License

MIT
npm package: @isl-lang/sdk-web
Description: Browser SDK for ISL-verified APIs with type-safe client generation
Author: mevla
Latest version: 1.0.0

# @isl-lang/sdk-web

> TODO: Add description

## Installation

```bash
pnpm add @isl-lang/sdk-web
```

## Usage

```typescript
import {} from '@isl-lang/sdk-web';
```

## API

_TODO: Document public API._

## Development

```bash
pnpm build        # Build the package
pnpm test         # Run tests
pnpm typecheck    # Type-check without emit
pnpm clean        # Remove dist/
```

## License

MIT
npm package: @isl-lang/semantic-analysis
Description: Semantic analysis passes for ISL specifications
Latest version: 0.1.1

# @isl-lang/semantic-analysis

> TODO: Add description

## Installation

```bash
pnpm add @isl-lang/semantic-analysis
```

## Usage

```typescript
import {} from '@isl-lang/semantic-analysis';
```

## API

_TODO: Document public API._

## Development

```bash
pnpm build        # Build the package
pnpm test         # Run tests
pnpm typecheck    # Type-check without emit
pnpm clean        # Remove dist/
```

## License

MIT
npm package: @isl-lang/simulator
Description: ISL Domain Simulator - Simulate and explore ISL domains for testing
Author: mevla
Latest version: 0.1.1

# @isl-lang/simulator

> TODO: Add description

## Installation

```bash
pnpm add @isl-lang/simulator
```

## Usage

```typescript
import {} from '@isl-lang/simulator';
```

## API

_TODO: Document public API._

## Development

```bash
pnpm build        # Build the package
pnpm test         # Run tests
pnpm typecheck    # Type-check without emit
pnpm clean        # Remove dist/
```

## License

MIT
npm package: @isl-lang/snapshot-testing
Description: Snapshot testing for ISL specifications and generated outputs
Author: mevla
Latest version: 0.1.0

# @isl-lang/snapshot-testing

> TODO: Add description

## Installation

```bash
pnpm add @isl-lang/snapshot-testing
```

## Usage

```typescript
import {} from '@isl-lang/snapshot-testing';
```

## API

_TODO: Document public API._

## Development

```bash
pnpm build        # Build the package
pnpm test         # Run tests
pnpm typecheck    # Type-check without emit
pnpm clean        # Remove dist/
```

## License

MIT
npm package: @isl-lang/stdlib-actors
Description: Actor model for ISL - distributed systems, message passing, and supervision
Author: mevla
Latest version: 0.1.0
Deprecated: Deprecated: package not ready for public use. Will not receive updates.

# @isl-lang/stdlib-actors

> TODO: Add description

## Installation

```bash
pnpm add @isl-lang/stdlib-actors
```

## Usage

```typescript
import {} from '@isl-lang/stdlib-actors';
```

## API

_TODO: Document public API._

## Development

```bash
pnpm build        # Build the package
pnpm test         # Run tests
pnpm typecheck    # Type-check without emit
pnpm clean        # Remove dist/
```

## License

MIT
npm package: @isl-lang/stdlib-api
Description: API definition standard library - REST, GraphQL, and RPC patterns
Author: mevla
Latest version: 0.1.0
Deprecated: Deprecated: package not ready for public use. Will not receive updates.

# @isl-lang/stdlib-api

> TODO: Add description

## Installation

```bash
pnpm add @isl-lang/stdlib-api
```

## Usage

```typescript
import {} from '@isl-lang/stdlib-api';
```

## API

_TODO: Document public API._

## Development

```bash
pnpm build        # Build the package
pnpm test         # Run tests
pnpm typecheck    # Type-check without emit
pnpm clean        # Remove dist/
```

## License

MIT
npm package: @isl-lang/stdlib-database
Description: Database operations standard library for ISL
Author: mevla
Latest version: 0.1.0
Deprecated: Deprecated: package not ready for public use. Will not receive updates.

# @isl-lang/stdlib-database

> TODO: Add description

## Installation

```bash
pnpm add @isl-lang/stdlib-database
```

## Usage

```typescript
import {} from '@isl-lang/stdlib-database';
```

## API

_TODO: Document public API._

## Development

```bash
pnpm build        # Build the package
pnpm test         # Run tests
pnpm typecheck    # Type-check without emit
pnpm clean        # Remove dist/
```

## License

MIT
npm package: @isl-lang/stdlib-distributed
Description: ISL Standard Library - Distributed Computing Primitives (Actors, Consensus, CRDTs, Sagas, Service Mesh)
Author: mevla
Latest version: 1.0.0
Deprecated: Deprecated: package not ready for public use. Will not receive updates.

# @isl-lang/stdlib-distributed

> TODO: Add description

## Installation

```bash
pnpm add @isl-lang/stdlib-distributed
```

## Usage

```typescript
import {} from '@isl-lang/stdlib-distributed';
```

## API

_TODO: Document public API._

## Development

```bash
pnpm build        # Build the package
pnpm test         # Run tests
pnpm typecheck    # Type-check without emit
pnpm clean        # Remove dist/
```

## License

MIT
npm package: @isl-lang/stdlib-email
Description: ISL standard library for email templating, validation, and delivery
Author: mevla
Latest version: 0.1.0
Deprecated: Deprecated: package not ready for public use. Will not receive updates.

# @isl-lang/stdlib-email

> TODO: Add description

## Installation

```bash
pnpm add @isl-lang/stdlib-email
```

## Usage

```typescript
import {} from '@isl-lang/stdlib-email';
```

## API

_TODO: Document public API._

## Development

```bash
pnpm build        # Build the package
pnpm test         # Run tests
pnpm typecheck    # Type-check without emit
pnpm clean        # Remove dist/
```

## License

MIT
npm package: @isl-lang/stdlib-events
Description: Event sourcing, CQRS, and event-driven architecture patterns
Author: mevla
Latest version: 0.1.0
Deprecated: Deprecated: package not ready for public use. Will not receive updates.

# @isl-lang/stdlib-events

> TODO: Add description

## Installation

```bash
pnpm add @isl-lang/stdlib-events
```

## Usage

```typescript
import {} from '@isl-lang/stdlib-events';
```

## API

_TODO: Document public API._

## Development

```bash
pnpm build        # Build the package
pnpm test         # Run tests
pnpm typecheck    # Type-check without emit
pnpm clean        # Remove dist/
```

## License

MIT
npm package: @isl-lang/stdlib-http
Description: HTTP/REST standard library for ISL
Author: mevla
Latest version: 0.1.0
Deprecated: Deprecated: package not ready for public use. Will not receive updates.

# @isl-lang/stdlib-http

> TODO: Add description

## Installation

```bash
pnpm add @isl-lang/stdlib-http
```

## Usage

```typescript
import {} from '@isl-lang/stdlib-http';
```

## API

_TODO: Document public API._

## Development

```bash
pnpm build        # Build the package
pnpm test         # Run tests
pnpm typecheck    # Type-check without emit
pnpm clean        # Remove dist/
```

## License

MIT
npm package: @isl-lang/stdlib-observability
Description: Logging, metrics, tracing, and alerting
Author: mevla
Latest version: 0.1.0
Deprecated: Deprecated: package not ready for public use. Will not receive updates.

# @isl-lang/stdlib-observability

Structured logging, metrics, tracing, and health checks for ISL applications.

## Features

- **Structured Logging**: JSON-formatted logs with correlation support
- **Metrics**: Counters, gauges, histograms, and summaries
- **Distributed Tracing**: OpenTelemetry-compatible tracing without OTel dependency
- **Health Checks**: Configurable health check registry
- **Correlation**: Automatic trace/span correlation across async boundaries

## Installation

```bash
pnpm add @isl-lang/stdlib-observability
```

## Usage

```typescript
import {
  Logger,
  LogLevel,
  MetricsRegistry,
  Tracer,
  HealthCheckRegistry,
  withCorrelationContext,
} from '@isl-lang/stdlib-observability';

// Initialize
const logger = new Logger({
  minLevel: LogLevel.INFO,
  service: 'my-service',
  environment: 'production',
});

const metrics = new MetricsRegistry();
const tracer = new Tracer({
  serviceName: 'my-service',
  serviceVersion: '1.0.0',
});

// Use with correlation
await withCorrelationContext({ traceId: 'abc123' }, async () => {
  await logger.info('Processing request');
  
  const counter = metrics.registerCounter({
    name: 'requests_total',
    description: 'Total requests',
  });
  await counter.increment();
  
  const { span } = await tracer.startSpan({ name: 'operation' });
  await tracer.endSpan({ spanId: span.spanId });
});
```

## API

### Logging
- `Logger` - Structured logger with correlation support
- `ConsoleLogExporter` - Export logs to console
- `InMemoryLogExporter` - Store logs in memory (testing)

### Metrics
- `MetricsRegistry` - Registry for all metric types
- Counter, Gauge, Histogram, Summary metric types
- `ConsoleMetricExporter` - Export metrics in Prometheus format
- `InMemoryMetricExporter` - Store metrics in memory (testing)

### Tracing
- `Tracer` - Create and manage spans
- `ConsoleSpanExporter` - Export spans to console
- `InMemorySpanExporter` - Store spans in memory (testing)
- Context injection/extraction for distributed tracing

### Health Checks
- `HealthCheckRegistry` - Register and check health of dependencies
- `createHttpHealthCheck` - HTTP endpoint health check
- `createTcpHealthCheck` - TCP connection health check
- `createCustomHealthCheck` - Custom health check function

### Correlation
- `withCorrelationContext` - Execute code with correlation context
- `extractCorrelationFromHeaders` / `injectCorrelationIntoHeaders` - HTTP header propagation
- `createCorrelationMiddleware` - Middleware for request correlation

## Development

```bash
pnpm build        # Build the package
pnpm test         # Run tests
pnpm typecheck    # Type-check without emit
pnpm clean        # Remove dist/
```

## License

MIT
npm package: @isl-lang/stdlib-queue
Description: Message queues, job processing, and background tasks
Author: mevla
Latest version: 0.1.0

# @isl-lang/stdlib-queue

> TODO: Add description

## Installation

```bash
pnpm add @isl-lang/stdlib-queue
```

## Usage

```typescript
import {} from '@isl-lang/stdlib-queue';
```

## API

_TODO: Document public API._

## Development

```bash
pnpm build        # Build the package
pnpm test         # Run tests
pnpm typecheck    # Type-check without emit
pnpm clean        # Remove dist/
```

## License

MIT
npm package: @isl-lang/stdlib-realtime
Description: Real-time communication - WebSockets, SSE, and pub/sub
Author: mevla
Latest version: 0.1.0
Deprecated: Deprecated: package not ready for public use. Will not receive updates.

# @isl-lang/stdlib-realtime

Real-time communication library for ISL applications.

## Features

- **WebSocket**: Server and client implementations with auto-reconnect
- **Server-Sent Events (SSE)**: Real-time unidirectional communication
- **Channels**: Pub/sub messaging with authorization
- **Presence**: User presence tracking and state management
- **Protocol**: Extensible protocol with codec and heartbeat support

## Installation

```bash
pnpm add @isl-lang/stdlib-realtime
```

## Usage

```typescript
import { 
  RealtimeServer,
  WebSocketServer,
  ChannelManager,
  DefaultPresenceTracker 
} from '@isl-lang/stdlib-realtime';

// Create a realtime server
const server = new RealtimeServer({
  websocket: new WebSocketServer({ port: 3001 }),
  channels: new ChannelManager(),
  presence: new DefaultPresenceTracker()
});

await server.start();
```

## API

### WebSocket
- `WebSocketServer` - WebSocket server with connection management
- `WebSocketClient` - WebSocket client with auto-reconnect
- `BaseWebSocketConnection` - Base connection class

### SSE
- `SSEServer` - Server-Sent Events server
- `SSEClient` - SSE client with reconnection support

### Channels
- `ChannelManager` - Manages channels and subscriptions
- `Channel` - Individual channel implementation
- `DefaultChannelAuthorizer` - Authorization for channels

### Presence
- `DefaultPresenceTracker` - Track user presence
- `DefaultPresenceStateManager` - Manage presence state

### Protocol
- `DefaultProtocolCodec` - Encode/decode protocol messages
- `DefaultHeartbeatManager` - Manage connection heartbeats

## Development

```bash
pnpm build        # Build the package
pnpm test         # Run tests
pnpm typecheck    # Type-check without emit
pnpm clean        # Remove dist/
```

## License

MIT
npm package: @isl-lang/stdlib-runtime
Description: ISL Standard Library Runtime Implementations - 10 Core Modules for 1.0
Author: ISL Team
Latest version: 1.0.0

# @isl-lang/stdlib-runtime

> TODO: Add description

## Installation

```bash
pnpm add @isl-lang/stdlib-runtime
```

## Usage

```typescript
import {} from '@isl-lang/stdlib-runtime';
```

## API

_TODO: Document public API._

## Development

```bash
pnpm build        # Build the package
pnpm test         # Run tests
pnpm typecheck    # Type-check without emit
pnpm clean        # Remove dist/
```

## License

MIT
npm package: @isl-lang/test-runtime-legacy
Description: Runtime bindings for ISL generated tests - provides entity proxies and state management
Author: mevla
Latest version: 0.1.0
Deprecated: Deprecated: use @isl-lang/test-runtime instead.

# @isl-lang/test-runtime-legacy

> TODO: Add description

## Installation

```bash
pnpm add @isl-lang/test-runtime-legacy
```

## Usage

```typescript
import {} from '@isl-lang/test-runtime-legacy';
```

## API

_TODO: Document public API._

## Development

```bash
pnpm build        # Build the package
pnpm test         # Run tests
pnpm typecheck    # Type-check without emit
pnpm clean        # Remove dist/
```

## License

MIT
npm package: @isl-lang/typechecker
Description: Semantic analyzer for ISL - validates AST, resolves types, builds symbol table
Author: ISL Team
Latest version: 1.0.0

# @isl-lang/typechecker

Semantic analyzer for ISL - validates AST, resolves types, and builds symbol tables.

## Installation

```bash
npm install @isl-lang/typechecker
# or
pnpm add @isl-lang/typechecker
```

## Usage

```typescript
import { parse } from '@isl-lang/parser';
import { typecheck, TypeChecker } from '@isl-lang/typechecker';

const ast = parse(`
  domain UserManagement {
    type User {
      id: uuid
      name: string
      email: email
    }

    intent CreateUser {
      input { name: string, email: email }
      output { user: User }
    }
  }
`);

// Quick validation
const result = typecheck(ast);

if (result.errors.length > 0) {
  result.errors.forEach(err => console.error(err.message));
} else {
  console.log('Type checking passed!');
  console.log('Symbol table:', result.symbolTable);
}

// Or use the TypeChecker class for more control
const checker = new TypeChecker();
const checked = checker.check(ast);
```

## API

### `typecheck(ast: AST): TypeCheckResult`

Perform type checking on an AST.

**Returns:**
- `errors` - Array of type errors found
- `warnings` - Array of type warnings
- `symbolTable` - Resolved symbol table
- `typeMap` - Map of nodes to their resolved types

### `TypeChecker`

Class for incremental type checking with caching.

```typescript
const checker = new TypeChecker();

// Check multiple files
checker.addFile('user.isl', userAst);
checker.addFile('order.isl', orderAst);

// Get all errors
const errors = checker.getAllErrors();

// Get type for a specific node
const type = checker.getType(node);
```

## Features

- **Type inference** - Infers types for expressions
- **Contract validation** - Validates pre/postconditions
- **Cross-reference resolution** - Resolves type references across domains
- **Import validation** - Validates imports and exports
- **Incremental checking** - Efficient re-checking of modified files

## Error Types

```typescript
import { TypeError, TypeErrorCode } from '@isl-lang/typechecker';

// Error codes
TypeErrorCode.UNDEFINED_TYPE
TypeErrorCode.TYPE_MISMATCH
TypeErrorCode.DUPLICATE_DEFINITION
TypeErrorCode.INVALID_CONTRACT
```

## Documentation

Full documentation: https://isl-lang.dev/docs/typechecker

## Related Packages

- [@isl-lang/parser](https://npm.im/@isl-lang/parser) - ISL parser
- [@isl-lang/evaluator](https://npm.im/@isl-lang/evaluator) - Expression evaluator

## License

MIT
npm package: @isl-lang/verified-build
Description: ISL Verified Build - Single-package SDK for code verification
Author: mevla
Latest version: 0.1.0
Deprecated: Deprecated: package not ready for public use. Will not receive updates.

# @isl-lang/verified-build

> TODO: Add description

## Installation

```bash
pnpm add @isl-lang/verified-build
```

## Usage

```typescript
import {} from '@isl-lang/verified-build';
```

## API

_TODO: Document public API._

## Development

```bash
pnpm build        # Build the package
pnpm test         # Run tests
pnpm typecheck    # Type-check without emit
pnpm clean        # Remove dist/
```

## License

MIT
npm package: @isl-lang/verifier-chaos
Description: Chaos engineering verifier - inject failures, execute scenarios, and produce proof bundles
Author: mevla
Latest version: 0.2.1

# @isl-lang/verifier-chaos

> TODO: Add description

## Installation

```bash
pnpm add @isl-lang/verifier-chaos
```

## Usage

```typescript
import {} from '@isl-lang/verifier-chaos';
```

## API

_TODO: Document public API._

## Development

```bash
pnpm build        # Build the package
pnpm test         # Run tests
pnpm typecheck    # Type-check without emit
pnpm clean        # Remove dist/
```

## License

MIT
npm package: @isl-lang/verifier-formal
Description: Formal verification for ISL using SMT-LIB and Z3
Author: mevla
Latest version: 0.1.1

# @isl-lang/verifier-formal

> TODO: Add description

## Installation

```bash
pnpm add @isl-lang/verifier-formal
```

## Usage

```typescript
import {} from '@isl-lang/verifier-formal';
```

## API

_TODO: Document public API._

## Development

```bash
pnpm build        # Build the package
pnpm test         # Run tests
pnpm typecheck    # Type-check without emit
pnpm clean        # Remove dist/
```

## License

MIT
npm package: @isl-lang/verifier-runtime
Description: Runtime verification engine for ISL implementations
Author: mevla
Latest version: 1.0.0

# @isl-lang/verifier-runtime

> TODO: Add description

## Installation

```bash
pnpm add @isl-lang/verifier-runtime
```

## Usage

```typescript
import {} from '@isl-lang/verifier-runtime';
```

## API

_TODO: Document public API._

## Development

```bash
pnpm build        # Build the package
pnpm test         # Run tests
pnpm typecheck    # Type-check without emit
pnpm clean        # Remove dist/
```

## License

MIT