Alex Metelli

Software Engineer

Alex Metelli

Software Engineer | Backend, Developer Infrastructure, AI Tooling

Software engineer with 5 years of experience building backend systems, developer tooling, blockchain infrastructure, and AI-assisted engineering workflows. Comfortable owning projects from architecture and implementation through deployment, debugging, and production support.

GitHubLinkedInEmailDownload Resume (PDF)

Experience

Nethermind

Software Engineer

Worked on blockchain infrastructure, backend services, developer tooling, smart contracts, and AI-assisted engineering workflows.

  • Built backend systems and developer tooling using Rust, TypeScript, Python, Cairo, and Solidity.
  • Developed AggSandbox workflows for local multichain infrastructure, transaction execution, and bridge debugging.
  • Maintained Voyager Verifier, improving contract verification workflows, compiler compatibility, metadata validation, and developer diagnostics.
  • Contributed contract verification functionality to Starknet Foundry.
  • Built integrations across Starknet, LayerZero, Hyperlane, AggLayer, and EVM ecosystems.
  • Developed components for ZK infrastructure, including Groth16 verification and Ethereum-to-Starknet data proving systems.
  • Built internal AI-assisted engineering workflows focused on automation, validation, and developer productivity.

Selected Projects

AgentReceipt

Local-first Go CLI for recording AI coding sessions and producing verifier-ready replay evidence.

  • Go
  • CLI
  • Ed25519
  • Developer Infrastructure
  • Observability
  • Replay

Skills Doctor

TypeScript CLI for auditing Claude/Codex Agent Skills for quality, structure, scoring, and repair readiness.

  • TypeScript
  • Bun
  • CLI
  • Static Analysis
  • Agent Skills

RitualAI

TypeScript CLI that scans local Claude/Codex prompt history and turns repeated workflows into reusable skills.

  • TypeScript
  • Bun
  • CLI
  • AI Workflows
  • Local-first

ScopePilot

Agency proposal configurator for scope, pricing, approvals, revisions, and client delivery.

  • TypeScript
  • Astro
  • Cloudflare Workers
  • Bun
  • PostgreSQL

AggSandbox

Cross-chain infrastructure experiments using LayerZero, AggLayer concepts, and executable contract scripts.

  • Rust
  • Docker
  • Solidity
  • AggLayer
  • LayerZero
  • EVM

Voyager Verifier

Starknet contract verification tooling with compiler integration and status tracking.

  • Rust
  • Starknet
  • Cairo
  • Scarb
  • AWS Console
  • CloudWatch

Horizon Protocol

Starknet yield tokenization protocol with SY/PT/YT assets, AMM markets, router flows, frontend, and indexer.

  • Cairo
  • Starknet
  • TypeScript
  • Next.js
  • Apibara
  • PostgreSQL

Skills

Backend & infrastructure

  • Node.js
  • REST APIs
  • PostgreSQL
  • Redis
  • Event-driven systems
  • Docker
  • Linux

Developer tooling

  • CLI tools
  • Engineering automation
  • AI-assisted workflows
  • Human-in-the-loop systems

Blockchain systems

  • Starknet
  • Ethereum
  • Aztec
  • LayerZero
  • Hyperlane
  • AggLayer
  • Smart contracts
  • ZK systems

Product engineering

  • React
  • TypeScript
  • APIs
  • Deployment
  • Observability
  • AWS Console
  • CloudWatch

Education / Certifications

BSc Data Science and Computing

Birkbeck, University of London