Your Company Agentic Operating System
- Recommended by
- 1
- GitHub stars
- 982
- Licence
- MIT
- Language
- TypeScript
- Last commit
- 2 Nov 2026
What people said
“Hi there! A few weeks ago, Boris posted how formal verification helped fix issues in their codebase and I definitely wanted to try it out in the swarm codebase. The idea was simple: 1. Go over the codebase and fine most critica…”
Not software, abandoned or listed by mistake? Report this listing