Any other proof ecosystems I should integrate?

Quoted post by Prove2Me: x.com/prove2memath/status/2117294484711231669