# Vishisht Magan

- **Event:** [Meta Global AI Developer Hackathon](https://cerebralvalley.ai/e/meta-ai-developer-hackathon)
- **When:** Oct 26, 12:00 PM – Nov 4, 9:00 PM (EST)
- **Where:** Online
- **Team:** [Vishisht Magan](https://cerebralvalley.ai/u/Vishisht3)
- **GitHub:** https://github.com/Vishisht3/mini-colosseum
- **Demo video:** https://youtu.be/6oskZeHprIw
- **Gallery:** https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery
- **Page:** https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/5125

Mini-Colosseum is a desktop research harness designed to solve long-horizon mathematical proofs and theoretical computer science problems.

When a researcher inputs a theorem or conjecture, the system autonomously explores strategies and decomposes the problem into a Directed Acyclic Graph (DAG) of subproblems.

Crucially, every candidate draft is actively attacked by a dedicated falsifier model, and the resulting exact-quote objections are permanently bound to the draft before aggregation. The aggregator writes a synthesized draft that resolves the explicitly cited flaws.

Built as a React/Electron application wrapped around a FastAPI Python state machine, Mini-Colosseum brings total transparency to AI research. It features a CoqIDE-style workspace, Danus SHA-256 dependency hashing (where failed sections automatically invalidate downstream claims), and a tight budget circuit breaker. Every decision, critique, and cost is logged to an append-only JSONL ledger, allowing researchers to replay the AI's reasoning step-by-step completely offline.

## More from Meta Global AI Developer Hackathon

- [Mobbs](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/5122)
- [SaySo_sakib](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/5123)
- [Arupa AI](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/5124)
- [Ethan Gritli](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/5126)
- [TareKV](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/5127)
- [Adam Je](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/5128)

---

Markdown version of https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/5125. Site index for agents: https://cerebralvalley.ai/llms.txt · full text: https://cerebralvalley.ai/llms-full.txt