Praxen — agent behavior verifier. Compares an AI agent's declared policy against the available evidence; reports where observed behavior diverges from declared intent.
☆61Oct 17, 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:
- CA-72: a synthesizer plug-in (VST3, CLAP, AU) for macOS, Windows and Linux, modelled from the circuit of a 1970s analogue synthesizer☆124Updated this week
- Flutter SSL Pinning Bypass Tool for Android & iOS — works on any Flutter version without pattern databases☆316Sep 30, 2026Updated 2 weeks ago
- A GUI for Sliver☆167Updated this week
- Open source agentic SAST. The engine behind hundreds of disclosed zero-days. 100+ AI security agents, any repo or PR diff, bring your own…☆445Updated this week
- A canvas for red team infrastructure and cyber ranges. Compose a topology, export runnable Terraform and Ansible, and deploy it yourself.…☆162Oct 6, 2026Updated last week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 🐛 Advanced web vulnerability scanner with 5-rule false-positive reduction, WAF evasion, and modern HTML reports☆102Sep 16, 2026Updated last month
- AKCA Advanced Web Security Scanner☆238Oct 10, 2026Updated last week
- Shellph is a portable command-line utility designed to automate encryption and obfuscation of arbitrary shellcode. Named after my cat (Be…☆36Jul 20, 2026Updated 2 months ago
- ☆97Updated this week
- ☆68Aug 24, 2026Updated last month
- Autonomous Offensive Security, Bug Bounty & Red Teaming Agent Framework powered by Hermes Agent, specialized reasoning skills, and multi-…☆947Updated this week
- LLM inference in C/C++☆56Aug 8, 2026Updated 2 months ago
- Decrypt VMware vTPM-encrypted .vmem/.vmsn/.vmss/.nvram from the VM password, and flatten the .vmem to a Volatility-ready image.☆55Jul 4, 2026Updated 3 months ago
- Audit trail database for AI agents. Tamper-evident, checksum-backed decision logs with session replay and time-travel debugging to suppor…☆145Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- AI Native IDE for reverse engineering☆296Updated this week
- Self-hosted AI teammates, each with its own computer — a Grok Bot alternative on your hardware. Bring any model. Unofficial.☆66Sep 29, 2026Updated 2 weeks ago
- An Orchestrate multiple coding agent desktop app☆92Updated this week
- ☆60Aug 10, 2026Updated 2 months ago
- Export Apple News saved articles to SQLite☆16Mar 16, 2023Updated 3 years ago
- Entity graph platform for air-gapped defense and critical infrastructure. Kafka-native OSINT, OT fusion, and immutable provenance on ever…☆164Updated this week
- Content for sysinternals.com☆14Apr 21, 2021Updated 5 years ago
- KEV-gated continual-learning XSS specialist with execution-authoritative browser verification☆156Sep 28, 2026Updated 2 weeks ago
- Cloud-native AI infrastructure for teams to run, schedule, and monitor AI workloads on GPU-enabled Kubernetes clusters, from data prepara…☆57Updated this week
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- ☆13Feb 26, 2025Updated last year
- Windows anti-forensics made easy☆11Mar 6, 2024Updated 2 years ago
- ARTEX 한국어판 ·AI 기반 침해사고 대응 기능 추가 (upstream: Autumn-27/ARTEX, AGPL-3.0)☆193Updated this week
- Comprehensive, data-driven security assessment checklists across 23 platforms web, API, mobile, cloud, Active Directory, Kubernetes, LLM,…☆85Sep 16, 2026Updated last month
- Self-improving Codex loop: DeepSeek runs the task, Luna grades it, Sol rewrites the prompt until it is done☆47Sep 16, 2026Updated last month
- An AI-native penetration testing workbench where you and AI agents work together to accelerate your pentest workflow.☆100Updated this week
- Automated DAST for Android Apps☆156Sep 16, 2026Updated last month
- Dump Microsoft Recall data and images☆14Jun 7, 2024Updated 2 years ago
- A PowerShell module for generating Microsoft 365 and Azure security reports.☆21Jun 8, 2026Updated 4 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆12Dec 5, 2015Updated 10 years ago
- Agent-orca orchestrates and manages AI agent workloads in Kubernetes, providing distributed execution, model routing, knowledge integrati…☆85Updated this week
- Estrutura rápida para implementação de novas estratégias e sinais de entradas em trades no Mini Índice Bovespa☆10May 15, 2021Updated 5 years ago
- Overlays and controls for Virtual Radar Server using Leaflet maps☆10Jun 10, 2019Updated 7 years ago
- Live weather radar without the clutter — see rain, warnings, lightning, forecasts, and storm history on any screen. Free and open source.☆75Updated this week
- Turn scattered notes, docs and transcripts into a queryable Markdown wiki — an LLM knowledge-base compiler with MCP access, no embeddings…☆150Sep 11, 2026Updated last month
- Repo for Getting Started☆14Jul 22, 2026Updated 2 months ago