Mechanic: Sorrifier-Driven Formal Decomposition Workflow for Automated Theorem Proving | Signal Canvas | ScienceToStartup