A Solidity runtime verification tool for property based testing

Explicit database migration ownership, least-privilege runtime verification, and schema-qualified Prisma wiring for Xema biome services.

Deterministic Runtime Verification CLI Tool

Runtime Verification Library for browsers and Node.js.

Runtime verification for AI coding agents. MCP server that lets Claude Code verify code changes work end-to-end via Playwright + OpenTelemetry. Embedded OTel collector by default — no Docker, no SigNoz required.

Static declaration scanner for high-risk MCP/OpenAPI actions. Detects required receipt inputs without claiming runtime verification, consumption, or EG-1 enforcement.

A TypeScript library that implements Rust-like traits with compile-time type checking and runtime verification.

MCP wrapper for static required-receipt declaration scanning. Runtime verification, consumption, and EG-1 enforcement remain explicitly unassessed.

CCS v4.0 — Agent runtime verification protocol with synchronous interceptor governance and structural fail-closed guarantee (CWE-636).

Runtime verification harness for FunnelMap landing sites

Runtime verification engine for ISL implementations

autonomic runtime verification integrated system

Runtime verification helpers for generated code - pre/post/invariant enforcement

Runtime verification for non-deterministic AI agent actions and outputs — TypeScript SDK

SQL runtime implementation for Prisma Next

System and environment checks for Node services. Present at build time; optional runtime verification (off by default).

babel's modular runtime helpers

collection of cryptographic functions that support every js runtime for ES5+

This package provides essential type definitions and interfaces that define how SDK components communicate.

SQL Schema IR types for schema introspection and verification