Helgi Páll Helgason

    0followers
    1 skill
    1 download
    Joined Oct 2026

    Skills by Helgi Páll Helgason (1)

    SereneCode: Spec, Type & Contract Verification

    by Helgi Páll Helgason

    Free

    Check AI-written Python against your spec, mypy types, and icontract contracts, then fix findings level by level.

    1
    1