Contributed to the runtimeverification/mir-semantics repository by enhancing documentation and setup processes to streamline developer onboarding and tool integration. Focused on updating the README with accurate installation prerequisites and detailed usage examples, the work clarified steps for integrating the Stable-MIR-JSON tool in both development and CI environments. Leveraged skills in build systems, version control, and documentation, utilizing Markdown, Python, and TOML to ensure consistency across project files. Version numbers were incremented to reflect these updates, supporting clear release tracking. These improvements reduced installation friction and provided a more reliable foundation for new contributors and automated workflows within the project.