"Lishbor - N DIVIJ team on IBM Bob 2.0 hackathon Hackathon"

Team Idea

Building Lishbor Trace for the IBM Bob 2.0 Hackathon: requirement evidence for merge requests. IBM Bob reads the specification, writes probes that break each requirement, and repairs violations; Lishbor verifies every probe and patch on fresh checkouts. On a replay of the PyJWT change behind CVE-2024-53861, PyJWT's 271 tests pass and Lishbor flags the broken issuer check. Solo team, not recruiting.

Team Members

N DIVIJ N DIVIJ

div75

AI Engineer

Submission

Lishbor Trace: Green CI, Broken Requirement

IBM Bob reads the spec and writes a probe that breaks each requirement; Lishbor proves on every merge request whether the tests would notice. On the PyJWT change behind CVE-2024-53861, all 271 tests pass and Lishbor flags the broken issuer check.