open-agent-ai-security/praxen

**Brief Summary** Praxen is an open‑source verifier that checks whether an AI agent’s observed actions match its declared policy, flagging divergences between i