AlphaReasoning

All

1 repository

The-Jinn-Guard
Public
Kernel-aware agent governance daemon. Tamper-evident hash-chained audit ledger, BPF-LSM enforcement, Z3-backed policy checks. Research prototype.
rust z3 ebpf
rust z3 ebpf formal-verification ai-safety ai-agents zero-trust llm-security agent-security bpf-lsm
Rust
•
Apache License 2.0
•0•0•1•1•Updated Aug 17, 2026Aug 17, 2026

ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.