An open protocol for discovering A2A-capable AI agents on local networks — the discovery & trust bootstrap layer beneath A2A (mDNS/DNS-SD, well-known endpoints, signed AgentCards).

Sia - Binary serialisation and deserialisation

Formal specification and generation of verifiable binary parsers, message generators and protocol state machines

Rethinking Protocols

Automatically generated protocol documentation, symbols list and entity ids list for Minecraft Bedrock Edition posted once a release or a beta is released

A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.

IEC104-RTU-Simulator

Protocol specification for Moleculer Framework

SAGE disambiguates protocol description in an IETF RFC document, then converts the disambiguated protocol description into executable protocol implementation.

Type-safe, async Rust SDK for the Agent2Agent (A2A) protocol, built to the final v1.0.0 spec — JSON-RPC, REST, WebSocket & gRPC for building interoperable AI agents

GUARDRAIL - MCP Security - Gateway for Unified Access, Resource Delegation, and Risk-Attenuating Information Limits

Diameter Protocol Library (RFC3588 / RFC6733)

Noor Research Collective - Main Project Metapage

Compiler for protodef written in Rust

DevTools Core Protocol specification

Unofficial documentation for the Artemis network and file protocols, written by the Artemis community

Don't apply the robustness principle, look after your protocol instead

gochat is a light, TCP-based Client-Server chat application that runs its own application protocol.

LEASH — Lightweight Encrypted Agent Secret Handling. A proposed companion standard to MCP for secure, auditable, human-controlled secret access by AI agents.

QuarkDash - pure typescript hybrid cryptographic protocol that provides post-quantum security, high performance, and attack resistance.