[
  {
    "name": "zkao",
    "slug": "zkao",
    "category": "crypto-zk",
    "page": "https://agentsast.com/tools/zkao/"
  },
  {
    "name": "zk-skills and circom-auditor",
    "slug": "zk-skills",
    "category": "crypto-zk",
    "page": "https://agentsast.com/tools/zk-skills/"
  },
  {
    "name": "zkCraft (with zkFuzz)",
    "slug": "zkcraft",
    "category": "crypto-zk",
    "page": "https://agentsast.com/tools/zkcraft/"
  },
  {
    "name": "AI Grinding for cryptanalysis (research)",
    "slug": "ai-grinding-cryptanalysis",
    "category": "crypto-zk",
    "page": "https://agentsast.com/tools/ai-grinding-cryptanalysis/"
  },
  {
    "name": "Claude Security",
    "slug": "claude-security",
    "category": "frontier",
    "page": "https://agentsast.com/tools/claude-security/"
  },
  {
    "name": "Codex Security (formerly Aardvark)",
    "slug": "codex-security",
    "category": "frontier",
    "page": "https://agentsast.com/tools/codex-security/"
  },
  {
    "name": "Big Sleep and CodeMender",
    "slug": "big-sleep",
    "category": "frontier",
    "page": "https://agentsast.com/tools/big-sleep/"
  },
  {
    "name": "AISLE",
    "slug": "aisle",
    "category": "frontier",
    "page": "https://agentsast.com/tools/aisle/"
  },
  {
    "name": "XBOW",
    "slug": "xbow",
    "category": "frontier",
    "page": "https://agentsast.com/tools/xbow/"
  },
  {
    "name": "Atlantis",
    "slug": "atlantis",
    "category": "aixcc",
    "page": "https://agentsast.com/tools/atlantis/"
  },
  {
    "name": "Buttercup",
    "slug": "buttercup",
    "category": "aixcc",
    "page": "https://agentsast.com/tools/buttercup/"
  },
  {
    "name": "RoboDuck",
    "slug": "roboduck",
    "category": "aixcc",
    "page": "https://agentsast.com/tools/roboduck/"
  },
  {
    "name": "OSS-CRS and other AIxCC finalists",
    "slug": "oss-crs",
    "category": "aixcc",
    "page": "https://agentsast.com/tools/oss-crs/"
  },
  {
    "name": "Sherlock AI",
    "slug": "sherlock-ai",
    "category": "smart-contracts",
    "page": "https://agentsast.com/tools/sherlock-ai/"
  },
  {
    "name": "AuditAgent",
    "slug": "auditagent",
    "category": "smart-contracts",
    "page": "https://agentsast.com/tools/auditagent/"
  },
  {
    "name": "Zellic V12",
    "slug": "zellic-v12",
    "category": "smart-contracts",
    "page": "https://agentsast.com/tools/zellic-v12/"
  },
  {
    "name": "Savant Chat",
    "slug": "savant-chat",
    "category": "smart-contracts",
    "page": "https://agentsast.com/tools/savant-chat/"
  },
  {
    "name": "Olympix",
    "slug": "olympix",
    "category": "smart-contracts",
    "page": "https://agentsast.com/tools/olympix/"
  },
  {
    "name": "Octane Security",
    "slug": "octane",
    "category": "smart-contracts",
    "page": "https://agentsast.com/tools/octane/"
  },
  {
    "name": "Hound",
    "slug": "hound",
    "category": "smart-contracts",
    "page": "https://agentsast.com/tools/hound/"
  },
  {
    "name": "QuillShield",
    "slug": "quillshield",
    "category": "smart-contracts",
    "page": "https://agentsast.com/tools/quillshield/"
  },
  {
    "name": "Cecuro",
    "slug": "cecuro",
    "category": "smart-contracts",
    "page": "https://agentsast.com/tools/cecuro/"
  },
  {
    "name": "Certora AI Composer",
    "slug": "certora-ai-composer",
    "category": "smart-contracts",
    "page": "https://agentsast.com/tools/certora-ai-composer/"
  },
  {
    "name": "Immunefi Magnus",
    "slug": "immunefi-magnus",
    "category": "smart-contracts",
    "page": "https://agentsast.com/tools/immunefi-magnus/"
  },
  {
    "name": "zkbugs",
    "slug": "zkbugs",
    "category": "benchmarks",
    "page": "https://agentsast.com/tools/zkbugs/"
  },
  {
    "name": "EVMbench",
    "slug": "evmbench",
    "category": "benchmarks",
    "page": "https://agentsast.com/tools/evmbench/"
  },
  {
    "name": "ScaBench and SCONE-bench",
    "slug": "scabench",
    "category": "benchmarks",
    "page": "https://agentsast.com/tools/scabench/"
  },
  {
    "name": "CyberGym, BountyBench and SEC-bench",
    "slug": "cybergym",
    "category": "benchmarks",
    "page": "https://agentsast.com/tools/cybergym/"
  },
  {
    "name": "GPTScan and PropertyGPT (research)",
    "slug": "gptscan-propertygpt",
    "category": "benchmarks",
    "page": "https://agentsast.com/tools/gptscan-propertygpt/"
  }
]