Axiom

Rust Experimental

Formal-verification-backed agent runtime

Very High Security

560

Stars

v0.2.0

Latest

~20MB

RAM

<30ms

Startup

Release history for Axiom. Data sourced from GitHub Releases.

v0.2.0 latest

Feb 17, 2026

MCP support, performance improvements

+ Full MCP (Model Context Protocol) support

+ New skill marketplace integration

↑ Async runtime performance +15%

✓ Memory leak in long-running sessions

✓ Token counting accuracy for Claude 4.5 models

v0.2.0 stable

Jan 30, 2026

Bug fixes and stability

✓ Race condition in concurrent tool calls

✓ Configuration file migration from older versions

↑ Error messages now include troubleshooting links

v0.1.0 stable

Jan 12, 2026

New channels and provider support

+ Slack channel integration

+ Claude 4.5 Sonnet support

↑ Startup time reduced by 20%

↑ Documentation rewritten with interactive examples

! Legacy config format (will be removed in next major)

v0.0.0 stable

Dec 8, 2025

Security hardening release

+ Automatic dependency vulnerability scanning

↑ Sandbox escape prevention hardened

✓ Path traversal vulnerability in skill loader (CVE-2025-XXXX)

⚡ Updated all dependencies to patched versions