Discover the toolingbehind modern intelligence
The operating system for AI infrastructure discovery. Search a live map of MCP servers, AI agents, LLM tools, automation systems, and developer infrastructure.
praxen
Praxen — agent behavior verifier. Compares an AI agent's declared policy against the available evidence; reports where observed behavior diverges from declared intent.
6stars
2forks
HTML
agent-behavior-verifieragent-securityai-securityclaude-codeowaspraise-frameworkworker-remit
Quality signals
ActiveNo testsNo CIThin docsNo licenseNew
Install
Universal installANY TOOL
$ npx skillcity@latest open-agent-ai-security/praxenAuto-detects the skill or MCP server in this repo and installs it for Claude Code, Codex, Cursor, Cline, OpenCode, Gemini CLI, Anti-Gravity, OpenClaw and Hermes.
Requires Node.js 18+ (ships with npx).
Prefer to set it up by hand? Clone the repository:
git clone https://github.com/open-agent-ai-security/praxen.git
Loading README…
Ask a simulated agent to run this skill. It loads the real SKILL.md and reasons over your task with NVIDIA.
praxen — sandboxAI sandbox
Pick a quick prompt below or type your own — watch the agent execute this skill step by step.
guest@skillcity:~$Try a prompt