Agni
A project for learning hardware design by building tooling for it. Agni reads schematics and boards from several EDA formats into one representation, then lets you check, diff, query, and render them.
Many formats, one IR
EDIF, KiCad, and IPC-2581 read 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
Twelve chapters teaching what a hardware engineer knows, each ending in the rules that encode it. Written for a software background.
Understand it
How the pieces fit: the IR, net solving, geometry, diff, rules, the datasheet layer, and the web app.
Demos
Try the query engine and the viewer in your browser, running against a seeded corpus.