GitHub repository: kmill/repl
Description: A simple REPL for Lean 4, returning information about errors and sorries.