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? -
▲ 1
Nucleus: Enforced permissions for AI agents – policy+enforcement in one stackstory by weitzj · 2026-05-20 · 1 comment
-
▲ 2
Information Flow Kernel for Claude Code Hooksstory by difc · 2026-03-31 · 1 comment
-
▲ 3
Show HN: Nucleus – enforced permission envelopes for AI agents (Firecracker)story by difc · 2026-02-02 · 3 comments