Launches for “alternative to sostactic – polynomial inequalities using sums-of-squares in lean”

Try: turn my Postgres schema into a REST API · AI that writes changelogs from git commits · invoice tool for freelancers that chases payments · cheaper alternative to Intercom for a tiny team · discord invite repar · turn meeting notes into tasks