HackerGit Trending Discord Star

dredozubov/hazmat

Containment for AI agents - user isolation, sandboxed execution, network controls, backup/rollback. TLA+ verified.

1 best points · 1 comments · 1 Hacker News post · 179 GitHub stars · View on GitHub

Hacker News discussions