A Rust SDK for the Agent2Agent (A2A) protocol, letting Rust programs implement A2A agents or clients.
ra2a is a Rust SDK for the Agent2Agent (A2A) protocol, the open protocol that lets AI agents communicate and collaborate with each other. It is dual-licensed under the Apache License 2.0 and the MIT License, and is maintained as an open-source project.
A serverless harness that lets a coding agent design, test, and deploy its own specialist sub-agents as tools, MCP servers, or bots, defined by a schema-validated manifest.
An AI-agent pipeline that decomposes a mathematics problem, proves each piece, and formalizes the result in Lean 4 and Mathlib until the Lean kernel accepts it, with six of its proofs already merged into Google DeepMind's formal-conjectures repository.
Builds a local coding-agent team on top of Ollama and OpenCode by detecting the machine's hardware, recommending models for seven specialist roles, and testing whether each assigned model can actually use tools, edit a repository and pass verification.