Archon

AI-assisted Lean project automation with DAG blueprints, proof orchestration, and multi-agent coding/proving workflows.

Claim this listing to manage your profile, respond to reviews, and access analytics. Upgrade to Featured for more visibility.

Pricing

free

Website

frenzymath.com

Listed

Sep 2026

Last updated: September 28, 2026

About Archon

AI-assisted Lean project automation with DAG blueprints, proof orchestration, and multi-agent coding/proving workflows.

Other development & code tools in the same category

Claude Code hooks + an installable plugin marketplace: safety, cost, observability, productivity.

The simplest desktop client for OpenClaw — bridge your Agent to WeChat, Feishu, Slack & Discord in one click.

AI assistant command and control dashboard — Spawn more Overlords!

Track token usage across AI coding agents from your terminal.

Multi-agent autonomous framework — let your AI work while you sleep

Your proactive personal AI assistant & companion for daily productivity