Earnest question: any recommendation to not come off this way in forums?

I created this tool for my own research and have found it really helpful to benchmark different automated theorem provers (my experience so far has been that Claude Code + Codex still out-perform Leanstral). My genuine aim is to share that usefulness with others, not self promote!

this is HN, not gwern. relevant ads by authors are ok and actually expected.