Argus Report
A

Axiom

Rust Experimental

Formal-verification-backed agent runtime

GitHub
Very High Security

560

Stars

v0.2.0

Latest

~20MB

RAM

<30ms

Startup

Overview News Videos Releases Benchmarks Security Community

Security Rating

Very High

10

Security Checklist

Process/container sandboxing ✓
Filesystem access controls ◑
Network egress controls ✗
Dependency supply chain scanning ✓
Published SBOM ✓
Independent security audit ✓
Signed releases ✓
Prompt injection mitigations ◑

Security Timeline

🔍
Feb 2026 info

Clean audit report published

🛡
Jan 2026 medium

Dependency update: patched transitive vulnerability

✓
Dec 2025 low

Sandbox hardening: reduced syscall surface

✓
Nov 2025 info

Added automated SAST scanning to CI pipeline

Security Profile

Sandbox Type
Delegated to host
Last Audit
Jan 2026 (Trail of Bits)
Known CVEs
0 total (none)
Supply Chain Tools
cargo-audit, cargo-deny
SBOM Available
Yes (CycloneDX)