Proofcaster
Proofcaster is an AI agent you can reach by text message.