Worked on Certora/Documentation to enhance Solana tooling documentation, focusing on accelerating onboarding and improving testing readiness. Updated installation and setup guides to clarify dependencies, toolchains, and optional CLI usage, streamlining the initial setup process. Clarified the documentation for Solana Prover sanity checks and rule verification, detailing transformation processes and output logging to support consistent workflows. Improved overall documentation quality by addressing typos, wording, and cross-file consistency. Employed technical writing and documentation architecture skills, leveraging Markdown and Rust to ensure clear, maintainable guidance. These efforts reduced onboarding time and support queries while strengthening the reliability of Solana-related documentation.