GitHub repository: spector-in-london/plumo-prover
Description: Prover for the Plumo light client system https://docs.zkproof.org/pages/standards/accepted-workshop3/proposal-plumo_celolightclient.pdf