Overview
Clawdius is a next-generation AI coding engine built in Rust with a terminal UI, CLI, and multi-platform messaging gateway. It connects chat platforms to a formal-verification-backed code generation engine, supporting Anthropic, OpenAI, Google, xAI, Mistral, DeepSeek, Ollama, ZAI, and OpenRouter with automatic retry. Lean4 proofs verify sandboxing, concurrency, and security invariants.
Features
Multi-provider LLM with automatic retry
60 FPS terminal UI (25+ commands)
Agentic sprint execution and auto-fix
9 messaging platform adapters
Lean4 formal verification (318 theorems)
JIT sandboxing (Wasmtime WASM)
Session management with auto-compact
Architecture drift and debt analysis
Quality
2,606
Tests passing
0
Clippy warnings
318
Lean4 theorems
350
Rust source files
Install
Terminal
cargo install clawdius --version 1.0.0-rc.2