Robert DeLanghe
Senior Software Engineer · AI agents ship code. I write the contracts that keep them in check.
Brooklyn, NY · bdelanghe · rdelanghe · cv [at] robertdelanghe [dot] dev
Download PDF ↓I'm a senior engineer at Aura, where I built the controls for shipping AI-written code after unreviewed agent commits reached main. I open-sourced the approach as prx: agent changes land as merged PRs, each git write checked against the capability the agent holds.
Experience
The team owns Aura's website and business-operations systems on a Ruby backend, spanning fulfillment, accounting, and third-party integrations. I build the automation on AWS (ECS, RDS, S3, CloudFront) and the contract-and-validation layer behind inventory-purchasing.
- Wrote the CLI that replaced Aura's 9-tab spreadsheet supply plan with a single source of truth — 61 schema contracts checked by 173 test scenarios — to bring down the peak cash tied up in inventory.
- Aligned fulfillment, accounting, and ops on a single supply plan — the consolidation took as much cross-team coordination as it did engineering.
- Automated the inbound supply chain — ocean freight into the 3PL, Amazon LTL, and the freight splits between them — retiring the manual coordination that gated most shipments.
- Reconstructed how agent-authored commits slipped past review — traced each across five log sources, wrote the post-mortem, and designed the controls that informed Aura's policy for shipping AI-written code.
Owned the quality gates and developer experience for a 20-engineer team on a Python/Django backend, deployed single-tenant per customer (EC2/ECS, RDS, S3, Lambda). Drove static-analysis CI, a design system, and frontend-performance work.
- Shipped static-analysis gating into the PR pipeline. It blocks whole defect classes before merge, instead of catching them after. Critical bugs fell 20% — critical-severity tickets per quarter, four quarters before vs. after.
Built the event-planning platform's backend for a major Brooklyn arts center — Python and JavaScript on AWS Lambda and Postgres, integrating Square POS over webhooks.
- Replaced hand-set event-status flags with state derived from each department's POS activity, so status stayed correct across the venue's large concerts without manual updates.
Built the just-in-time production automation for an augmented-reality and print-making studio on Postgres, with heavy third-party API integration.
- Eliminated edition-numbering errors. A database issued serial edition IDs on request, making duplicates impossible by construction.
Studied type theory in Haskell, using the type system to make invalid states unrepresentable. It's the root of the capability work: push correctness to the boundary, and violations can't compile.
Built the job-postings CMS behind the manufacturing publication's newsletter, and the publication's customer segmentation, on Postgres — integrating outside tools through their APIs.
- Designed the schema that moved spreadsheet data into a relational database, so a malformed record couldn't be written.
Projects
- prx · May 2026 — An agent pipeline that drives work units to merged PRs. Each git write is checked against the capability the agent holds. Moved from a Rust predecessor to TypeScript once the key contracts proved to be between systems, not machine and kernel.
- ocap-provenance · Jun 2026 — Extends SLSA/in-toto provenance with object-capability semantics, built in TypeScript. Each attestation records who produced an artifact and which capabilities they held — and which were denied.