open-agent-ai-security/praxen

Praxen — agent behavior verifier. Compares an AI agent's de…