Need plugin for proof alchemy

Since some ISRO-R files based pservers starting to grow i need some support for proof alchemy.
Anything like this is possible?