Antidote for fluffy specs, a toolkit for fact-driven development with AI agents

The code is the spec

Efficient binary encoding for your data (based on Erlang's External Terms Format)

High-performance, streaming-first container format with per-block codec polymorphism and robust data recoverability. Reference implementation in Rust.

Definitions from the Virtual I/O Device (VIRTIO) specification.

A unified open format for agent-ready projects across tools, teams, and platforms.

A single-file project management standard for agent-human collaboration. One markdown file captures everything about a project — from scoping through execution — so agents can pick up exactly where they left off.

experimental crate to generate the Chrome Devtools Protocol.

Neural Computation Protocol (NCP): composable, sandboxed Bricks + graphs for auditable, replayable agentic systems.

Spec-driven development (SDD) for agents, all in a docker-like interface with your own custom workflows.

TUI + CLI context engine for humans & LLMs

The obvious CLI specification format. You define the spec, Oclis generates the code! Support for Rust, Haskell, and PureScript.

A file format specification for defining HTTP requests, response assertions, and associated data/configuration in "request files".

Open Agent Toolset Protocol (OATP) - universal spec for AI agent tool discipline, structural instrumentation, and deterministic execution. Vendor-agnostic interop layer for available tools and the procedures that define tool operability.

Specifications written in hacspec

Capability-secure, WASM-first Go-like embedded language for portable sandboxed behavior modules

Manage project.md files using a single CLI tool to track tasks and coordinate work between humans and AI agents without databases or external services.

The CUE of binary format specification languages

Specification framework for AI agents and humans

Rust Toolkit for Decentralized Identity Documents: https://www.w3.org/TR/did-core/