Skip to content
View Ed-Marcavage's full-sized avatar
💭
🚀
💭
🚀
16 followers · 8 following

Achievements

Achievement: Pair Extraordinairex4Achievement: Pull Sharkx3Achievement: YOLOAchievement: Quickdraw

Achievements

Achievement: Pair Extraordinairex4Achievement: Pull Sharkx3Achievement: YOLOAchievement: Quickdraw

Block or report Ed-Marcavage

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
Ed-Marcavage/README.md

Ed Marcavage

In Philly, moving to NYC or SF — in NY most weeks for Luma events, and at SF Tech Week 2026.

Most of my GitHub activity over the past ~2 years is in private repos at Audix — a coding agent for smart-contract security: agent-driven fuzzing + formal methods for software verification - will OSS over time.

Senior Software Engineer at GE Aerospace.

Now

  • MS CS, Georgia Tech (Expected, Dec '26)
  • Audix — Solidity security agent: invariant discovery & formal verification (Foundry, Medusa, Echidna, Halmos, Certora)
  • DeFi evals for Harbor (WIP) — agentic eval dataset: six task families (yields, wallet rebalancing, perps, prediction markets, memecoins, intents/routing)
  • Harbor Anything (WIP) — turn any telemetry, JSONL, or PR into Harbor evals
  • awesome-security-agent-harnesses — agents for pentesting, code audit, fuzzing, and RE
  • Hackathons: NYC Vision Hack · Dell x NVIDIA Local AI Hackathon

Background: BS cybersecurity · MS CS, Georgia Tech (Dec '26) — AI, program analysis, software testing, security

Find me: X @ed_marcavage · LinkedIn · AI Tinkerers NYC & Philly

Pinned Loading

  1. awesome-security-agent-harnesses awesome-security-agent-harnesses Public

    AI agents for pentesting, code audit, fuzzing, vulnerability discovery, and reverse engineering — harnesses, sandboxes, security MCP servers, benchmarks, and evals.

    6

  2. trustmap trustmap Public

    Forked from tt-a1i/archify

    Agent skill for beautiful, verifiable architecture, workflow, sequence, data-flow, and lifecycle diagrams—self-contained HTML with motion and crisp export.

    HTML

  3. custom-stable-coin custom-stable-coin Public

    Solidity

  4. naiveAMM naiveAMM Public

    Implements a naive Automated Market Maker

    Solidity

  5. DeFi-AAVE DeFi-AAVE Public

    Using python to programmatically deposit, collateralize, and repay loans on the AAVE protocol

    Solidity 2

  6. Solidity-NextJs-Lottery- Solidity-NextJs-Lottery- Public

    JavaScript