deer-flow

ByteDance's open-source SuperAgent harness deer-flow has shipped version 2, a ground-up rewrite that shares no code with DeerFlow 1.x, according to the project's listing. The Python-based project has …

Researchers formalized and verified four concurrency anomalies in multi-agent LLM systems, establishing a machine-checked consistency hierarchy from L0 to L4. They implemented verified detectors and r…