AI agent toolkit: coding agent CLI, unified LLM API, TUI & web UI libraries, Slack bot, vLLM pods

LLM-supervised persistent memory for AI agents — graph-based recall, cross-session knowledge, single binary. Works with Claude Code, OpenClaw, and any CLI agent.

Zig code intelligence server and MCP toolset for AI agents. Fast tree, outline, symbol, search, read, edit, deps, snapshot, and remote GitHub repo queries.

Terminal emulator v3

LLVM compiler backend in Rust

Trusted MIR - Universal IR for the t* verified compilation stack (tRust, tSwift, tC)

Z3 ported to Rust and improved

Trusted Rust

z4-backed Rust verification (Kani-compatible, CHC/SMT backend)

Pure-Rust document extraction library for binary formats

Separation logic verification for Rust (Creusot-inspired, z4 backend)

A unified TLA+ 2.0 in Rust

PDF parser and text extractor in Rust

α,β-CROWN ported to Rust and enhanced for Whisper-sized NN work

lean4 ported to Rust for AI self-coding in real time

Refinement type verification for Rust (Verus-inspired, z4 backend)

AI Skills for Antithesis Users

AI-native ML framework for Apple Silicon - Rust-first with verification

Universal AI coding proxy. Use Claude Code, Codex CLI, or any tool with DeepSeek, GLM, MiniMax, and more—without rate limits breaking your flow.

Delegation and Permission Attenuation for JWTs