Attack path graph for penetration testing - AI-powered external memory for security assessments
Shared types for Theseus attack path graph
Shared types for Ariadne attack path graph
Theseus server - axum REST API + embedded Cytoscape.js frontend for attack path graphs
Ariadne server — axum REST API + embedded Cytoscape.js frontend for attack path graphs
Graph persistence for Gossan — stores targets and findings in a local SQLite database
Security log pipeline: ingest, normalize, correlate. Inspired by D3 Security Morpheus.
AXON v1.5.1 — first crates.io publication of the AXON language full-stack runtime. Lexer/parser/type-checker/IR generator (re-exported from axon-frontend) plus the native Rust runtime: typed channels (TypedEventBus with QoS×5, π-calculus mobility, capability extrusion via shield D8 — Fase 13.f.2), Free Monad CPS handlers (Fase 2), lease kernel + reconcile loop (Fase 3+5), Epistemic Security Kernel (ESK Fase 6), Trust Types + ReplayLog (Fase 11.a+11.c), Stateful PEM over WebSocket (Fase 11.d), Ontological Tool Synthesis (Fase 11.e), Mobile Typed Channels (Fase 13). Crate publishes as `axon-lang` to mirror the Python PyPI package; library import remains `use axon::*` so existing call sites keep working unchanged.
command line
Web of Trust with TOFU key verification and social graph attestation for P2P networks
Fast, modular attack surface discovery — subdomains, ports, tech stack, secrets, hidden endpoints, cloud assets — part of the security research ecosystem
Scan checkpoint and resume for gossan — persists stage results to SQLite — part of the security research ecosystem