Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents. - Xiang Liu 017; Sa Song; Zhaowei Zhang; Huiying Lan; Jason Zeng; Ming Wu; Michael Heinrich; Yong Sun; Ceyao Zhang (CoRR, 2026)