Praxen — agent behavior verifier. Compares an AI agent's declared policy against the available evidence; reports where observed behavior diverges from declared intent.
☆63Nov 6, 2026Updated this week
Alternatives and similar repositories for praxen
Users that are interested in praxen are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Observra is an open-source observability and telemetry framework designed for AI and agentic systems, providing deep visibility into agen…☆26Updated this week
- AI-powered Docker security scanner that explains vulnerabilities in plain English. An OWASP Lab Project.☆505Updated this week
- ARCHIVED — moved to github.com/GenAI-Security-Project/crosswalk. This copy is frozen as of June 2026 and out of date.☆15Updated this week
- Data and schema powering the worlds largest collection of SBOM/xBOM products, projects, and services☆26Updated this week
- Harness fo malware analysis☆43Aug 23, 2026Updated 2 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆118Jun 9, 2026Updated 4 months ago
- A source code analysis tool that combines cross-file taint analysis and rule-based detection to identify vulnerability patterns, with opt…☆224Oct 20, 2026Updated 2 weeks ago
- Open detection-rule standard for AI agent security threats — like Sigma, but for AI agents. Executable, testable rules for prompt injecti…☆426Updated this week
- Discover Exposed AI Services☆454Apr 28, 2026Updated 6 months ago
- Probably the most SKILLed security agent. Scan untrusted code for red flags before you run it—exfiltration, reverse shells, backdoors, an…☆17May 15, 2026Updated 5 months ago
- Stage 1: Sensitive Email/Chat Classification for Adversary Agent Emulation (espionage). This project is meant to extend Red Reaper v1 whi…☆40Aug 22, 2024Updated 2 years ago
- Software engineering discipline grounded in named primary standards (OWASP, ITIL, IETF RFCs, ISO, BABOK, SBAR, and more), shipped as a Cl…☆19Sep 11, 2026Updated last month
- Open Apache-2.0 corpus, runner, scoring, and result-verification contracts for measuring AI-agent egress controls. A PipeLab open project…☆23Updated this week
- Command Line Interface (CLI) tool for BrightSec's solutions.☆22Oct 27, 2026Updated last week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Single source of truth for GenAI and agentic AI security incidents, mapped to OWASP LLM Top 10, OWASP Agentic Top 10 (ASI), NIST AI RMF, …☆31Updated this week
- Lightweight, file-based workspace for source-guided whitebox security review.☆750Jun 1, 2026Updated 5 months ago
- OWASP Foundation Web Respository☆12Jun 22, 2026Updated 4 months ago
- Agent-portable Compliance Trestle and OSCAL engineering toolkit: convert legacy SSPs to OSCAL, validate with Trestle and oscal-cli, FedRA…☆18Aug 4, 2026Updated 3 months ago
- ☆57May 5, 2025Updated last year
- VulnRisk - Open Source Vulnerability Risk Assessment Platform☆147May 23, 2026Updated 5 months ago
- Lyrie.ai — The world's first autonomous AI cybersecurity agent. Built by OTT Cybersecurity LLC.☆323Updated this week
- Repo for MGraph project☆13Jan 10, 2026Updated 9 months ago
- Powerful protection for AI agents - Open-source security and cost tracking for AI applications☆37Oct 30, 2026Updated last week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆17Oct 28, 2026Updated last week
- ☆31Jul 24, 2026Updated 3 months ago
- Vigolium - High-fidelity vulnerability scanner fusing agentic AI with native speed, modularity, and precision☆1,142Oct 25, 2026Updated last week
- Fast, developer-friendly JS/TS dependency vulnerability scanner with local lockfile scanning, OSV matching, direct vs transitive visibili…☆787Updated this week
- RL Gym for Security Agent Training☆12Jun 1, 2026Updated 5 months ago
- ☆94Aug 11, 2026Updated 2 months ago
- The AI Security Verification Standard (AISVS) focuses on providing developers, architects, and security professionals with a structured c…☆573Updated this week
- Astrix Security MCP Secret Wrapper☆51Updated this week
- Open-source AI agent framework for security engineering across AWS, GCP, Azure, Kubernetes, GitHub & GitLab: AI-powered security review, …☆230Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆22Oct 30, 2026Updated last week
- Shellph is a portable command-line utility designed to automate encryption and obfuscation of arbitrary shellcode. Named after my cat (Be…☆37Jul 20, 2026Updated 3 months ago
- Rust implementation, creating a scheduled task programmatically with user logon trigger.☆47Jun 10, 2025Updated last year
- Behavioral-discipline skill turning an AI agent into a methodical, non-robotic bug-bounty & pentest hunter - 42 always-on rules: scope, c…☆36Aug 18, 2026Updated 2 months ago
- Dusseldorf is an out-of-band security tool to help in security research.☆129Updated this week
- Scripts and outputs for ATLAS data in STIX JSON and ATT&CK Navigator layer formats☆35Jun 24, 2026Updated 4 months ago
- Autonomous code auditor that keeps digging until it finds and proves real bugs.☆253May 18, 2026Updated 5 months ago