Robert DeLanghe · Senior Software Engineer

AI agents ship code. I write the contracts that keep them in check.

I'm Bobby. I build the controls that keep AI agents inside the job you gave them.

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.

Brooklyn · Aura · Recurse Center · Bennington

Open to new roles

Senior / founding engineering on agent infrastructure: agent safety and code provenance

Senior engineering on teams building agentic products. I bring direct experience shipping agent-authored systems and the controls that make them trustworthy. Brooklyn · NYC · remote.

Get in touch →

Background

Oct 2023 – presentAura · Senior Software Engineer · Commerce TeamThe 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.
Apr 2021 – Sep 2023L2L · Software EngineerOwned 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.
Nov 2018 – Feb 2021Pioneer Works · Contract Software EngineerBuilt 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.
Jun 2019 – Mar 2020Kaleida · Contract Software EngineerBuilt the just-in-time production automation for an augmented-reality and print-making studio on Postgres, with heavy third-party API integration.
Sep 2019 – Dec 2019Recurse Center · ParticipantStudied 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.
Oct 2018 – Feb 2019Scope of Work · Contract Software EngineerBuilt the job-postings CMS behind the manufacturing publication's newsletter, and the publication's customer segmentation, on Postgres — integrating outside tools through their APIs.

Education

Sep 2009 – Dec 2012Bennington College · BA, Architecture & Sculpture

Public record

115public repositories 84under Bounded Systems

12languages

other8

Nix5

6 more languages

Go1

Topics — pick one to filter the work below

all developer-tools 20 capability-security 17 claude 15 security 15 library 15 claude-code 14 agents 13 ai 9 web 9 infrastructure 8 ai-agents 7 llm 7 experiment 7 mcp 7 learning 6 ai-agent 6

Computed from github.com/bdelanghe · starred work · topics kept honest by synoptic-github

Selected work

prxpinnedTypeScript

The agent-run work-unit CLI: capability-scoped agents whose privileged effects are verified against a signed owner, driving a work unit through one signed pipeline to a merged PR.

bounded-systems/prxagent-infra agents ai-agent ai-agents anthropic capability-security claude claude-code cli llm mcp security
guest-roompinnedTypeScript

Guest-agnostic room+door capability runtime — an agent reaches the outside world only through the door references it's handed.

bounded-systems/guest-roomagent-infra agents ai-agent ai-agents anthropic capability-security claude claude-code library llm mcp security
claude-boxpinnedTypeScript

A capability-secured box for agent sessions — its authority is the door references it holds (keeper/scout/concierge/net), parent-agnostic.

bounded-systems/claude-boxagent-infra agents ai ai-agent ai-agents anthropic capability-security claude claude-code llm mcp security
door-kitpinnedTypeScript

In-box door-client SDK for claude-box's capability doors (keeper/scout/concierge/spawn), over the guest-room protocol.

bounded-systems/door-kitagents capability-security claude claude-code library security
ocap-provenancepinnedTypeScript

Capability-use provenance — a schema + SLSA mapping binding each privileged effect to a signed owner and an auditable chain.

bounded-systems/ocap-provenanceagents capability-security claude claude-code library security
string-auditpinnedJavaScript

Cost-aware, grounded content auditor — typed string symbols, type-scoped audits, CAS-memoized LLM calls.

bounded-systems/string-auditai capability-security developer-tools library security
No selected project carries this topic — it lives across the wider record. Browse on GitHub
No selected project carries this topic — it lives across the wider record. Browse on GitHub
No selected project carries this topic — it lives across the wider record. Browse on GitHub
No selected project carries this topic — it lives across the wider record. Browse on GitHub