Chimera-Protocol/csl-core

Find, prove and control the AI agents on your machines: discovers every agent and what it can reach, proves policies with Z3 + TLA+, enforces them deterministically outside the model.

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

Hacker News discussions

• Show HN: CSL-Core – Formally Verified Neuro-Symbolic Safety Engine for AI (2 points, 7 comments, by aytuakarlar, 2026-02-10)