QED (proofQED)

A multi-agent system that plans, writes and reviews natural-language proofs for research problems.

• Developer / Organization: Chenyang An, Qihao Ye, Minghao Pan and Jiayun Zhang
• Category: Open-source research & review agents
• Purpose: Develop natural-language proofs for open research problems.
• Key features: Literature review, proof-plan decomposition, prover agents and independent verifier agents; output still needs mathematical review.
• Availability: Open-source software; MIT
• License: MIT (source (opens in a new tab))
• Website / Source code: https://github.com/proofQED/QED (opens in a new tab)
• Version: Source repository; no GitHub release published
• Version source: Official release or documentation (opens in a new tab)
• Last checked: 2026-11-01