Agentic Theorem Prover for Rocq for Program Verification
Pricing
Free
Marketplace
Independent
Category
automation
More like this
Browse automation agents →
Zapier AI
Automate workflows with natural language
$19/mo
Google Workspace AI
Gemini AI across Gmail, Docs, Sheets, and Meet
$30/mo
n8n
Open-source workflow automation with AI nodes
$20/mo
Bardeen
Browser automation agent for manual tasks
$10/mo