Solidity Static Analyzer that easily integrates into your editor

Empryo issue tracker + SoulForge (v2). Empryo is the graph-powered AI coding agent that edits symbols, not strings: AST surgery, full LSP, a live code genome. Get it at https://empryo.com

FuXi is a fast, self-contained AI coding agent that lives in your terminal — edit code, run commands, and drive tools, with cost-aware routing across LLM providers.

Agent coordination protocol — declare intents, lock symbols, detect conflicts before code is written

The design layer for agentic AI — design context, interface checks, and verification for coding agents.