# ⚡ ZapTrace ### AI-native, verification-first EDA kernel for prompt-to-fab electronics. **Prompt-to-Fab, with proofs.**
Intent → normalized design → schematic → ERC → placement → routing → DRC → BOM → manufacturing package → auditable proof pack.

Documentation · Quickstart · Validation Environment · Roadmap · Governance · Security · Safety

> [!WARNING] > **Pre-1.0.** ZapTrace is a verification-first EDA kernel, not a fabrication guarantee. All generated outputs require human engineering review before fabrication or use. See [Safety Disclaimer](#safety-disclaimer). > [!NOTE] > **Proof Pack = evidence layer, not absolute correctness.** Proof packs record configured checks, artifacts, assumptions, and pass/fail evidence. A clean proof pack does not mean a board is manufacturer-approved, production-ready, or safe to fabricate without review. --- ## What ZapTrace Is - **A Python SDK** for programmatic electronics design — parse, validate, place, route, export. - **A CLI** (`zaptrace`) for quick design iteration from the terminal. - **An MCP server** (`zaptrace-mcp`) that exposes 93 design tools plus 3 session-administration tools to AI agents. - **A REST API** for web-based design workflows. - **A verification engine** — Electrical Rule Checking (ERC) + Design Rule Checking (DRC) baked in. - **A manufacturing export pipeline** — Gerber RS-274X, Excellon drill, BOM, pick-and-place, KiCad. - **A proof-pack generator** — auditable, reproducible artifact bundles for every design. ## What ZapTrace Is Not

Command Palette

Tagged “pcb-design”

Servers

zaptrace