Make data satisfy constraints before using.

Design by Contract for AI Agent Steps — runtime preconditions, postconditions, and invariants for agent execution

Validation data-type for validating preconditions

Tiny JavaScript library for preconditions, postconditions and invariants, intended for use with Contractual.

Runtime guard utility for validating inputs and enforcing preconditions.

Zero-config flight recorder, on-device readout and visual panel for flemo screen transitions: captures per-flight driver routing, frame pacing, long tasks, shared-element pairing, landing residues and judging preconditions into one JSON report readable by

A simple precondition library similar to Guava's preconditions

Audit an OpenAPI-described HTTP service for BREACH compression-attack preconditions (compression + TLS + reflected input + secret-bearing responses).

Property-Based Testing for ISL - Generate random inputs satisfying preconditions and verify postconditions

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

A CLI tool that verifies preconditions, postconditions, and invariants in contracts without altering their original source code. `contract-shield-cli` enforces Design by Contract principles externally, ensuring contracts behave as expected while preservin

A Jest reporter that collects test execution data and pushes it to the GitLab Observer service

CAVE action templates (spec §25) — named, parameterized governed writes: in-band declarations, CAVE-Q preconditions validated against current belief, atomic templated appends with BECAUSE/VIA lineage, and out-of-band side-effect hooks.

TypeScript decorators to validate preconditions, post-conditions and invariants, design by contract

Middleware for HTTP Conditional Requests (RFC 7232)

WebdriverIO-Automation android ios project

API服务相关工具

Parse and Post your cypress results to testrail

TypeORM convenient transactions management

JavaScript6 client for the ChRIS API