coproduct-opensource/nucleus
View on GitHub ↗ ★ 22 Rust
Enforced permissions for AI agents - policy + enforcement in one stack
5 mentions on Hacker News by 2 people: 3 stories, 2 comments · first 2026-02-02 · latest 2026-07-02
20082026
-
…on similar formal methods but applied to agent sandboxing; do you see Z3 as a better fit than lean? https://github.com/coproduct-opensource/nucleus
comment by difc · 2026-07-02 · in Show HN: Salt – a systems language with Z3 theorem proving in the compiler -
…confused deputies by proofs instead of heuristics. Very much WIP, would appreciate any feedback. https://github.com/coproduct-opensource/nucleus
comment by difc · 2026-06-05 · in Ask HN: How do you solve AI's confused deputy problem?