Search projects, hackathons, sponsors and tech

    ← All builders

    Matthew Di Ferrante

    @mattdf on GitHub ↗
    Projects
    1
    Winning projects
    0
    Hackathons
    1
    Active
    2023

    Is this you? Sign in with GitHub to confirm your projects or hide this page.

    Builds in

    Developer tools 1Security 1

    Teammates

    Projects

    Polymer

    GPT-assisted Solidity analyzer, helping to find security issues by suggesting areas to review, generating tests and using the Z3 SMT Solver to formally verify design.

    llm · python · solidity

    Projects are linked from GitHub commits to each project's repo during its hackathon, so some may be missing or wrong. Prize money on a project is the team's total. Is this you?