Agni
Agni checks schematics and boards for design mistakes and locates every finding on the schematic. A mistake might be a bus with no pull-up, a rail with no decoupling, or a connector with no ESD protection. It reads KiCad, EDIF, IPC-2581, xschem and gEDA designs into one representation, then checks, diffs, queries, and renders them.
Many formats, one IR
Agni reads EDIF, KiCad, IPC-2581, xschem, gEDA and Lepton, and Telesis into a single neutral representation. Checks, diff, query, and rendering are written once and work across every format.
How ingestion works →Checks and reports
Run a catalog of electrical and integrity rules over a design. Every finding cites its subject and its evidence.
Run checks →Query a design as data
Ask datalog questions about nets, parts, copper, and datasheet limits. Each answer is a cited row you can click to locate.
Query your design →Where to go next
User guide
Install Agni and run checks, diffs, and queries on a design. For hardware engineers, no Go required.
Developer guide
Add a format reader, author a check rule, or write a private extension against the public engine.
Learn the domain
Thirteen chapters teaching what a hardware engineer knows, each ending in the rules that encode it. Written for a software background.
Understand it
How the IR, net solving, geometry, diff, rules, the datasheet layer and the web app fit together.
Try the demo
Open an example board, or drop your own, in the viewer with the engine running in your browser. Nothing to install and nothing uploaded.
About the demo
What the demo holds, why it runs in the browser, and how it relates to agni serve.