Leanstral: Open-source code agent designed for Lean 4