saezbaldo/ic-agi

Infrastructure Critical Anti-AGI: Distributed execution framework that separates intelligence from authority. K-of-N threshold auth, capability tokens, formal verification (TLA+), sandboxed execution.

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

Hacker News discussions

• Show HN: IC-AGI – Threshold auth for AI agents, formally verified in TLA+ (2 points, 2 comments, by saezbaldo, 2026-02-19)