During May 2025, Mikal Sande developed two core features across the zed-industries/zed and zed-industries/extensions repositories, focusing on extension development and backend improvements using Rust and TOML. He enhanced the GoLspAdapter diagnostics display by implementing Markdown formatting, which improved the readability of diagnostic messages in the user interface and streamlined troubleshooting for developers. Additionally, Mikal introduced support for the Tact programming language by integrating a new extension and configuring its tooling, broadening language support within the platform. His work established a foundation for consistent diagnostics rendering and language tooling, contributing to a more efficient and scalable developer experience.