During October 2025, Pranav Ailoor developed a core Picus verifier backend integration for the Consensys/go-corset repository, focusing on enhancing formal verification in continuous integration workflows. He implemented translation layers from AIR and MIR intermediate representations to the PCL format, expanding the data model to support expressions, formulas, and program output for comprehensive verification artefacts. Using Go and leveraging skills in backend development, compiler design, and constraint programming, Pranav integrated the new backend into existing verification commands. This work improved verification coverage and reliability, enabling an end-to-end pipeline that supports more robust and automated verification processes within the project.