You can create an organization and add people there. It can be named nimZ3 or nim-proofs or solving-nim.
In any case I have absolutely no knowledge of Z3 but I have plenty of use-cases for it. And I did try to create a solver that would work at compile-time for array-bound checking for a polyhedral compiler ([https://github.com/mratsim/hydra/blob/master/tests/test_sets.nim](https://github.com/mratsim/hydra/blob/master/tests/test_sets.nim))
