Software we build in the open, for everyone.

Open-source EDA is now good enough to ship real silicon, but the toolchain is wide, fragmented and unforgiving — a single RISC-V core can need 15+ invocations across 8 tools, each with its own flags and log format. Xenon puts a team of Claude Code agents in charge of that toolchain: they read synthesis reports, parse timing violations, and edit RTL to fix them. A checkpointed step pipeline keeps every artifact reproducible, and an MCP server exposes the whole flow to agentic IDEs.

Maisha is the free, vendor-neutral alternative to the paid compliance workflow that tools like Polyspace, Helix QAC and Coverity sell: the agentic fix loop, verification gate, deviation and audit-evidence workflow, and author-time guidance. It runs on free engines (cppcheck + clang-tidy) or layers on top of a qualified engine you already own via SARIF. It is a workflow orchestrator and audit-trail layer — not a qualified detection engine, and honest about it. Named for the Swahili word for 'life' — because this is the code that flies planes and runs medical devices.