Results for validation_contract

French jurisdiction support for Legalis-RS (Code civil, Code de commerce, Code du travail)

Natsuzora contract notation parser and validator (formerly subaru)

CLI crate for nils-agent-docs in the nils-cli workspace.

Control the validator set based on membership of trusted tg4 contract

PDK Contracts Library

Protocol and contract validation utilities for agents

United Kingdom jurisdiction support for Legalis-RS (Employment Law, UK GDPR, Consumer Rights, Contract Law, Company Law)

metactl v2 reference kernel and JSON-RPC service

metactl v2 local reference-kernel JSON-RPC/MCP shim

Papers to Math to Contracts in Code — YAML contract parsing, validation, scaffold generation, and Kani harness codegen for provable Rust kernels

API workspace — design specs, send requests, validate contracts, from CLI and browser.

Streaming CSV validator against a data-contract-registry contract. Async, line-by-line, structured violation report. The fourth cross-ecosystem hook in the Kinetic Gain portfolio.