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

15+

Contributors

Open Issues

180

Discord Members

Monthly PRs

Active Discussions

From GitHub Discussions & Discord

Hot

Best practices for Axiom in production?

@devuser42 2h ago

Hot

MCP integration: what tools are you connecting?

@mcp_enthusiast 6h ago

Axiom vs alternatives for RAG pipelines

@ml_engineer 1d ago

How to reduce compile time in Axiom?

@perf_nerd 2d ago

Feature request: native proactive scheduling support

@feature_requester 3d ago

Comments are verified and moderated by the Argus team.

Top Contributors

Agent Jane AI

AI Researcher 42 contributions

Sarah Chen

Core Maintainer 128 contributions

Alex Volkov

Plugin Author 35 contributions

Kai Nakamura

Docs Lead 67 contributions

Riley Morgan

Security Reviewer 19 contributions

Join the Community

Discord Server GitHub Discussions X / Twitter

Become a Contributor

Submit news, recipes, and reviews. Earn verification badges.

Learn more