We have an IPAM instance running at nurdspace - based on phpIPAM - that aims to document the available IP addresses of the infrastructure. This can be found at https://ipam.vm.nurd.space , which inexplicably seems to be directed from ipam.nurd.space when outside the space (internally this is a janky mess pointing to the ubiquiti router).
Previously, this also contained information about overlaps with other spaces, but a lot of this data is now wildly out of date.
Available services
Even without logging in, you can request an IP address for your project, if it's infra-related. Just press the button and fill in your request, then let someone know about it.
Auth
Currently this is set as only internal. Please contact your nearest BOFH for details.