Alex Metelli

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.

Download Resume (PDF)Start a conversation
5 Years of Experience
Backend systems · Dev tools · Blockchain · AI tooling
Core Stack
  • Rust
  • TypeScript
  • Python
  • Solidity
  • Docker
  • AWS Console
Domains
Blockchain infrastructure, Developer Tooling, AI-assisted Engineering
Location
Remote-friendly

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

Seven public case studies spanning local-first AI tooling, developer infrastructure, and blockchain systems.

AgentReceipt

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

  • Go
  • CLI
  • Ed25519
  • Developer Infrastructure
  • Observability
  • Replay
AgentReceipt case study

Skills Doctor

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

  • TypeScript
  • Bun
  • CLI
  • Static Analysis
  • Agent Skills
Skills Doctor case study

RitualAI

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

  • TypeScript
  • Bun
  • CLI
  • AI Workflows
  • Local-first
RitualAI case study

Ask Siargao

AI travel decision desk that turns Siargao plans into evidence-backed keep, change, avoid, or confirm-locally calls.

  • TypeScript
  • Next.js
  • OpenAI
  • PostgreSQL
  • Redis
  • Vercel
Ask Siargao case study

AggSandbox

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

  • Rust
  • Docker
  • Solidity
  • AggLayer
  • LayerZero
  • EVM
AggSandbox case study

Voyager Verifier

Starknet contract verification tooling with compiler integration and status tracking.

  • Rust
  • Starknet
  • Cairo
  • Scarb
  • AWS Console
  • CloudWatch
Voyager Verifier case study

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
Horizon Protocol case study

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

BSc Data Science and Computing

Birkbeck, University of London