[ktpsns]

Lyapunov sounds a good tool but the README reads so LLM-generated and with little love that I am not bothered to look further into whether this is solid or not.

[visha1v]

fair criticism. i’ve already started revising the README to make the assumptions, methodology, and limitations clearer.