Technical Debt Hunting

We try to nitpick, to add tests and to file pull-requests (PRs) to your codebase. You pay for what you merge.


Each PR specifies a rate in (*), (**) and (***).

On top of these, each logical error that we report and you acknowledge costs 70 EUR.

If you can license your codebase only under GPL, pay-as-you-merge doesn't work.


We can read C, C++, Python, Rust, Coq, Solidity, OCaml, Scheme, Isabelle/HOL and Haskell projects including English documentation.



If you are interested, send us an email.

Link to the top with the logo of Convenience Logician Hirai UG (haftungsbeschränkt)


Convenience Logician Hirai UG (haftungsbeschränkt)
PGP fingerprint: 3EE77DEB29E2167E722CA33B6D984915DA3E2B46