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

Best For

Formal verification of agent behavior, provably safe execution

Trade-offs

Very early stage, minimal features. Formal verification adds complexity. Tiny community.

Feature Matrix

Channels
Telegram ✗ no
Discord ✗ no
Slack ✗ no
CLI ✓
LLM Providers
OpenAI ✓
Anthropic ✓
Local LLMs ✓
Core
MCP Support ✗ no
Proactive Mode ✗ no
Voice Support ✗ no
Security
Container Sandbox ✓
WASM Sandbox ✓

Quick Start

curl -sSf https://install.axiom.dev | sh
axiom init my-agent
axiom run

About Axiom

Axiom is a Rust-based personal AI agent runtime created by Axiom AI Research. Formal verification of agent behavior, provably safe execution.

The project currently has 560 GitHub stars and is at version v0.2.0. It has a very high security rating, making it suitable for production deployments.

Rankings

Performance
7
Features
2
Security
10
Momentum
3
Cost
6
DX
3

Also Consider

O

OpenClaw

162K stars
N

Nanobot

4.8K stars
N

NanoClaw

1.2K stars

Links

GitHub Repository