Vivek contributed to the strata-org/Strata repository by developing the SMT Solver Execution Error Guidance feature, which enhances error handling in the command line interface when an SMT solver is missing. Leveraging Lean and functional programming techniques, Vivek implemented logic that detects absent solvers and proactively suggests the use of the --solver option, providing users with actionable guidance to resolve configuration issues. This work focused on improving user experience and reducing support overhead by streamlining solver setup. Although no bugs were fixed during this period, the feature demonstrates thoughtful attention to robustness and lays a foundation for future solver integration improvements.