Skip to content
View jadercorrea's full-sized avatar

Block or report jadercorrea

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
jadercorrea/README.md

Jader Correa

Principal engineer building AI agents, developer tools, and distributed systems. Founder. Creator of GPTCode and Zapfy.

I work at the intersection of product, architecture, and execution: turning ambiguous, high-impact problems into systems that ship, scale, and create measurable business value.

Over more than 20 years, I have built real-time infrastructure used by millions of people, engineering analytics that contributed approximately $1 million in annual recurring revenue, industrial systems processing more than 50 million events per day, and an AI-native commerce platform spanning software, payments, fiscal operations, and physical hardware.

I have worked as a founder, CTO, engineering leader, and staff engineer. I do my best work in small, strong teams where I can remain hands-on, set technical direction, reduce uncertainty, raise the engineering bar, and own outcomes through production.

Selected projects

  • GPTCode (source) — An open-source investigation into reliable coding agents: multi-model workflows, repository-native engineering knowledge, and executable validation. The paper One Successful Agent Run Proves Almost Nothing documents the evaluation protocol and its limitations.
  • AI Experiments — Immutable, checksum-verified evidence releases containing agent configurations, patches, command logs, repository snapshots, verification results, and negative runs.
  • Zapfy — AI-native commerce platform where agents manage sales, operations, payments, and fiscal workflows.
  • pgroll_ex — Elixir tooling that converts Ecto migrations into pgroll-compatible zero-downtime migrations.

Selected experience

  • Zapfy — Founded and built a multi-service commerce platform spanning AI agents, payments, inventory, fiscal integrations, mobile applications, and local hardware. Worked directly with merchants, cashiers, manufacturers, and accountants to turn operational constraints into product and architecture decisions.
  • Code Climate — Helped evolve the architecture of Velocity and shipped capabilities that contributed approximately $1 million in annual recurring revenue. Combined staff-level implementation with architectural direction and mentorship.
  • TransportAPI / First Bus — Independently designed and built Elixir/OTP systems supporting real-time transportation applications used by more than 3 million passengers across 40+ UK cities.
  • Industrial telemetry — Developed distributed systems processing more than 50 million events per day across 14 manufacturing plants.
  • Árvore — Helped grow the engineering organization threefold while improving execution across products serving more than 2 million monthly users.

How I work

I use executable systems to reduce uncertainty.

For architectural decisions, I prefer focused reference implementations that make assumptions and trade-offs visible. For product work, I start with the operational outcome and validate it with real users. For production changes, I use tests, observability, and release evidence rather than treating generated code or a passing test suite as proof of correctness.

I use coding agents throughout this process, but keep authorization, product judgment, and system invariants deterministic. Models can investigate, plan, implement, and review; they do not redefine what a system is allowed to do.

Current focus

AI agents · agent evaluation and reliability · developer tools · distributed systems · PostgreSQL · Elixir · Go · TypeScript

I am interested in Principal Engineer and senior staff-level roles where I can remain hands-on, set technical direction, and own consequential systems through production.

Website · GPTCode · Zapfy

Pinned Loading

  1. gptcode gptcode Public

    Open-source coding CLI for repository-native, multi-model, verifiable engineering workflows.

    Go 4

  2. pgroll_ex pgroll_ex Public

    Elixir tool that converts Ecto migrations into pgroll-compatible zero-downtime migrations.

    Elixir 1

  3. ai-experiments ai-experiments Public

    Reproducible evaluations of AI models, agents, and inference systems.

    Shell