During a two-month period, Hagbgreen contributed targeted improvements to opencompl/lean4 and leanprover-community/leanprover-communityhub.io.git, focusing on compiler development, documentation, and formal verification. In Lean4, Hagbgreen addressed a bug in the collectAxioms function, ensuring all dependent axioms, such as Lean.trustCompiler, are correctly included during axiom collection, which improved proof automation reliability. The solution involved robust traversal of axiom dependencies using Lean and metaprogramming techniques. Additionally, Hagbgreen enhanced documentation clarity in the communityhub repository by correcting a typographical error in the contribution guidelines, streamlining onboarding for new contributors. The work demonstrated careful attention to repository hygiene and technical accuracy.