Skip to content
Log in
Sponsored Design Multi-Agent AI Systems Using MCP and A2A: Engineer your own Pyt Design Multi-Agent AI Systems Using MCP and A2A: Engineer your own Pyt

Author

Gabriel Ebner

h-index 2 View on Semantic Scholar

We have 1 of 6 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Review Open access Aug 2026

Proofs Promptly: Proof-Oriented Programming with AI Agents (Experience Report)

An anecdotal account of AI agents, equipped with a CLI and a proof assistant, producing thousands of lines of machine-checked code, and the role of the human expert, whose contribution reduces to providing natural-language problem descriptions, reviewing auto-generated specifications, and occasionally supplying a key invariant.

Eleftherios Ioannidis, Nikhil Swamy, Gabriel Ebner et al. · 1 citation

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.