ProGenEDA

ProGenEDA is building an AI-assisted EDA automation platform that converts circuit intent into editable and simulatable project files .

Comment 1

posted an update —

Public data

What is here

Area Public material What it supports
test-jsons/ 1,000 canonical circuit-input JSON files The declared test-input corpus: 200 Proteus, 400 KiCad, 300 EasyEDA Pro, and 100 LTspice inputs.
evidence/reports/ Sanitised qualification and experiment reports Recorded local qualification results and release-boundary evidence.
experiments/ A Proteus archive with 8,308 sanitised readable records and a full inventory of 26,959 local artifacts, plus other experiment indexes A transparent separation of qualified work from research, failures, and inventory-only artifacts.
native-artifacts/ Actual native Proteus, KiCad, EasyEDA Pro, and LTspice project files Inspectable files that can be opened in their target editors, with SHA-256 verification.
templates/ Censored architecture and validation templates The general approach, without proprietary code, prompts, source packs, or vendor records.
claims/ Claim register and limits Exact wording that may be supported by this archive.

Exact contents

Actual native files — native-artifacts/

These are files produced for, or opened by, their named EDA editor. They are not screenshots or converted placeholders.

Editor Included files What a reviewer can inspect
Proteus 7,515 .pdsprj Native project layouts from placement, terminal, value/property, component-family, mixed-circuit, and executable-gate experiments.
KiCad 2,190 .kicad_pro, .kicad_sch, .kicad_pcb Project settings, editable schematics, and the available board outputs from the recorded qualification runs.
EasyEDA Pro 2 .eprj Two recorded native EasyEDA Pro project outputs for a regulated 5 V supply run.
LTspice 431 .asc, .net Native schematic previews and associated netlists across the observed stock-component families.

Every native file is listed with its byte size and SHA-256 hash in native-artifacts/manifest.json. Open copies in their matching editor; use the manifest to confirm they were not changed after publication.

Test inputs — test-jsons/

This contains exactly 1,000 input descriptions used to exercise the backend tracks:

  • 200 Proteus placement-control inputs;
  • 400 KiCad common-circuit inputs;
  • 300 EasyEDA Pro qualification inputs; and
  • 100 LTspice website-corpus inputs.

These JSON files describe requested circuits; they are not the native outputs themselves. The native outputs are in native-artifacts/.

Proteus research history — experiments/proteus/

  • 8,308 sanitised, readable reports, manifests, validation records, audits, success records, and failure records;
  • a complete SHA-256 index of all 26,959 local Proteus artifacts reviewed; and
  • the actual .pdsprj files from that work in native-artifacts/proteus/.

This intentionally includes experiments that did not qualify. A file appearing here means it was recorded, not that it passed, is electrically correct, or is available in the product.

Supporting evidence and public-safe explanations

  • evidence/reports/ — backend qualification reports and the Altium research-only pilot report.
  • claims/ — the exact claims this archive supports, plus wording it does not support.
  • templates/ and snapshots/ — censored architectural/validation examples. They communicate system shape without publishing reusable private generator code, prompts, keys, or donor archives.

Log in or sign up for Devpost to join the conversation.