Worked on the informalsystems/quint repository to enhance the Apalache client’s reliability by implementing a bounded gRPC connection retry timeout. Addressed the issue of indefinite hangs during server startup by introducing a retry loop capped at 60 seconds, using TypeScript and gRPC for robust error handling. The solution replaced an infinite retry mechanism with a controlled approach, ensuring the CLI fails gracefully when the Apalache server is slow or unavailable. Added descriptive error messages that include the final channel state, making debugging more straightforward. This work improved startup reliability and reduced downtime, focusing on maintainable, user-friendly error handling practices.