How to set timeout for one command for lean repl

Stream: new members

[Tian Hsia]

Hello,

I am new to lean and am trying to use https://github.com/leanprover-community/repl for our project. Is there any way to set a time limit for one command there?

I know that there is the max heart beat option. But we would really like something more related to the execution time.

If there is no direct way, could you suggest some direction of implementing this?

Thanks in advance!