hello! 👋 building the software verification layer for the agentic coding era at e2e. follow me on X follow @SzymonRybczak