Worked on Certora/Documentation over a two-month period, focusing on enhancing technical documentation for Solana-related features. Delivered detailed updates to the Solana Live Statistics section, introducing function complexity analysis and clarifying the impact of solanaMinSizeForCalltrace, which provided granular performance insights for Solana users. Improved EVM-related documentation for cross-chain clarity and expanded the spelling dictionary to support technical terminology. In a subsequent update, revised documentation for the Solana Certora Prover build process, removing deprecated references and updating examples to reflect the new cargo certora-sbf default mode. All work was completed using Markdown and technical writing best practices.