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).
A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Sia - Binary serialisation and deserialisation
Rethinking Protocols
FLOP Network yellowpaper — normative specification for a verified-inference settlement layer. Feedback via Issues.
Protocol specification for Moleculer Framework
GUARDRAIL - MCP Security - Gateway for Unified Access, Resource Delegation, and Risk-Attenuating Information Limits
Unofficial documentation for the Artemis network and file protocols, written by the Artemis community
Diameter Protocol Library (RFC3588 / RFC6733)
Automatically generated protocol documentation, symbols list and entity ids list for Minecraft Bedrock Edition posted once a release or a beta is released
DevTools Core Protocol specification
SAGE disambiguates protocol description in an IETF RFC document, then converts the disambiguated protocol description into executable protocol implementation.
IEC104-RTU-Simulator
Compiler for protodef written in Rust
Programming Assignment 3 – Secured chat application - Reykjavik University
Noor Research Collective - Main Project Metapage
Don't apply the robustness principle, look after your protocol instead
Specification for a decentralised protocol to create a trusted messaging network for disaster & conflict zones
Open Scale Model System Automation
To associate your repository with the protocol-specification topic, visit your repo's landing page and select "manage topics."