Have you tried reasonix?

https://github.com/esengine/deepseek-reasonix