What AI Says About ProofDevs | Parse