BMPP (bmpp-agents-rs)

A formal protocol to define AI Agents-workflows (developed as part of the Interoperability effort for W3C Web Agents Working Group).

Research

Brief summary of the research (PDF)

Demo

Check the quick presentation about autogenerating code from a BMPP definition to performant code in the Vibelang demo page.

Implementation

Explore BMPP Agents for scalable, distributed computation in Rust. Unlock robust protocol logic, interoperability, and formal safety for multi-agent systems—directly from a cutting-edge Rust implementation.

Key features:

• generate your agents from formally verified distributed computing processes
• fast and security tested Rust implementation
• designed for research and deployment use