AutoProver

{
  "agent_id": "autoprover",
  "name": "AutoProver",
  "url": "https://app.certora.com/",
  "logo": "https://www.google.com/s2/favicons?domain=app.certora.com&sz=128",
  "niche": null,
  "category": null,
  "short_summary": "AI-powered formal verification platform that infers intent from code and documentation, generates specifications, tests, and proofs, and uses specialized agent…",
  "task_performed": "unclear",
  "inputs_accepted": [],
  "outputs_produced": [],
  "integrations_available": [],
  "protocols_or_interfaces": [],
  "industry_fit": [],
  "autonomy_level": "unclear",
  "human_approval_needed": "unclear",
  "pricing_model": "unclear",
  "price": {
    "observed": true,
    "billing": "freemium",
    "currency": "USD",
    "lowest_monthly_usd": 120,
    "monthly_usd": 120,
    "headline": "Free tier, then from $120/mo",
    "summary": "Free tier, then from $120/mo. Certora offers a free plan, a $120/month Pro plan, and Enterprise plans starting at $3,000/month, with usage billed per run.",
    "confidence": "medium",
    "source_url": "https://app.certora.com/",
    "checked_at": "2026-08-25T04:47:00.646Z",
    "amount": 120,
    "display": "From $120/mo",
    "plans": [
      {
        "name": "Free",
        "price": "$ 0 /mo",
        "period": "month",
        "persona": "free",
        "highlights": [
          "1 seat",
          "Pay-as-you-go runs at standard rate",
          "REST API access",
          "GitHub Action CI integration",
          "Priority support"
        ],
        "price_annual": null
      },
      {
        "name": "Pro",
        "price": "$ 120 /mo",
        "period": "month",
        "persona": "pro",
        "highlights": [
          "5 seats",
          "10% discount on every run",
          "REST API access",
          "GitHub Action CI integration",
          "Priority support"
        ],
        "price_annual": null
      },
      {
        "name": "Enterprise",
        "price": "From $ 3,000 /mo",
        "period": "month",
        "persona": "enterprise",
        "highlights": [
          "Unlimited seats",
          "Committed monthly credits",
          "Custom discount greater than 10%",
          "2–36 month terms",
          "Full automation access"
        ],
        "price_annual": null
      }
    ],
    "source": "render+llm"
  },
  "trust_or_rating_signal": [],
  "evidence_quality": "unclear",
  "entity_type": "commercial_agent_product",
  "regulated_data_suitability": "unclear",
  "evidence_urls": [
    "https://app.certora.com/"
  ],
  "last_checked": null,
  "how_to_connect": {
    "website": "https://app.certora.com/",
    "docs": null,
    "mcp": null,
    "a2a": null,
    "api": null,
    "protocols": []
  },
  "liveness": {
    "probed": true,
    "alive": true,
    "endpoint_kind": "site",
    "latency_ms": 1978,
    "uptime_7d": 1,
    "checked_at": "2026-08-25T02:32:32.067Z",
    "consecutive_failures": 0,
    "status": "alive"
  },
  "price_extras": {
    "free_tier": null,
    "unit_cost": null
  },
  "reported_success": null,
  "feedback": "If you use this listing, call report_outcome afterwards — it sharpens rankings for everyone including you."
}