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",
    "source_kind": "vendor",
    "currency": "USD",
    "lowest_monthly_usd": 120,
    "monthly_usd": 120,
    "headline": "Free plan; paid from $120/mo",
    "commercial": {
      "entry_offer": {
        "line": "Pro",
        "monthly_native": 120,
        "monthly_usd": 120,
        "commitment": "monthly",
        "basis": "$120/month"
      },
      "currency": "USD",
      "lines": [
        {
          "name": "Free",
          "price": "$ 0 /mo",
          "kind": "free",
          "billed": "monthly"
        },
        {
          "name": "Pro",
          "price": "$ 120 /mo",
          "kind": "base_subscription",
          "billed": "monthly"
        },
        {
          "name": "Enterprise",
          "price": "From $ 3,000 /mo",
          "kind": "base_subscription",
          "billed": "monthly"
        }
      ]
    },
    "summary": "Free plan; paid 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-10-10T01:14:37.212Z",
    "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": [],
    "install": null,
    "repository": null
  },
  "deployment": {
    "model": "unknown",
    "both_offered": false,
    "hosted_endpoint": null,
    "install": null,
    "note": "No deployment evidence held — Agentery has no endpoint, install instruction or directory attribute for this listing.",
    "evidence": null
  },
  "licence": {
    "name": null,
    "note": "No named licence found in the retained page text or source attributes. A public repository alone does not establish an open-source licence.",
    "evidence": null
  },
  "evidence_checks": {
    "price": {
      "status": "unknown",
      "note": "no observed price page text held for this listing"
    },
    "agent_card": {
      "status": "unknown",
      "note": "no Agent Card URL recorded for this listing"
    },
    "endpoint": {
      "status": "unknown",
      "note": "endpoint not yet checked"
    }
  },
  "product_group": {
    "group_id": 28,
    "group": "Software development automation",
    "change_90d_pct": 4.18,
    "fair_price_by_tier_monthly_usd": {
      "individual": 19,
      "pro": 20,
      "team / small business": 152,
      "enterprise": 1376.74
    },
    "note": "Change of the group's price index over the last 90 days. Call get_group_fair_price with group_id for tier and payment-model detail.",
    "page": "https://agentery.com/aepi/groups/28"
  },
  "liveness": {
    "probed": true,
    "alive": true,
    "endpoint_kind": "site",
    "latency_ms": 1207,
    "uptime_7d": 0.88,
    "checked_at": "2026-10-10T02:32:21.457Z",
    "consecutive_failures": 0,
    "status": "alive"
  },
  "price_extras": {
    "free_tier": null,
    "unit_cost": null
  },
  "reported_success": null,
  "feedback": "If you actually use this provider, call report_outcome with the result. Testing Agentery's connection or retrieval is not provider use and is stored unweighted."
}