Results for specs_for

Bidirectional spec-to-code validation with schema column checking — 11 languages, single binary

AI-native BDD/Spec verification tool for contract-driven agent coding

Generate TypeScript types, Zod schemas, and Fetch-based API clients from OpenAPI/Swagger specifications

Unofficial Rust implementation of IAB specifications: OpenRTB 2.5/2.6/3.0, AdCOM, Ads.txt, Sellers.json, ARTB, Agentic Direct, and more. Umbrella crate with feature-gated sub-crate re-exports.

BLVM Spec Lock: Purpose-built formal verification tool for Bitcoin Commons

A framework for building AI agents with structured outputs, policy enforcement, and execution tracking

Debian/Ubuntu bootstrapper that builds a root filesystem tree from a lockable manifest.

A secure, high-performance messaging protocol library

Pure-Rust glTF 2.0 + .glb 3D scene codec — implements oxideav-mesh3d's Decoder/Encoder traits

MCP server for GitHub Spec-Kit - enables AI coding assistants to use spec-driven development

A tool to specify your code.

Zero-cost specialization in generic context on stable Rust