AlphaReasoning

All

2 repositories

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•6•0•0•Updated Jun 25, 2026Jun 25, 2026
rootai_semantic_pareser
Public
Python
•0•0•0•0•Updated May 8, 2026May 8, 2026

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