In terms of the problem of removing SSH public keys from authorized_keys, etc we solve that problem by means of Ansible. If a developer leaves the company, he/she is removed and that Ansible task is applied to all the servers. Works fine too.
It’s pretty easy to audit a server for a key in a file or a key file on disk.
https://docs.ansible.com/ansible/latest/collections/ansible/...