CAPT Proof Portal - a Hugging Face Space by Knowurknot