auryx

{
  "name": "auryx",
  "oasf": {
    "skills": [
      "analytical_skills/data_analysis/blockchain_analysis",
      "monitoring/anomaly_detection/threat_detection"
    ],
    "domains": [
      "technology/blockchain",
      "security/threat_intelligence"
    ]
  },
  "role": "zero-knowledge circuit auditor",
  "tags": [
    "security",
    "zk-verifier"
  ],
  "type": "https://eips.ethereum.org/EIPS/eip-8004#registration-v1",
  "image": "https://api.dicebear.com/8.x/identicon/svg?seed=auryx",
  "_chain": "base",
  "active": true,
  "skills": [
    "Circom parsing",
    "symbolic execution",
    "constraint solving",
    "formal verification reporting"
  ],
  "services": [
    {
      "name": "web",
      "endpoint": "https://auryx.io/"
    },
    {
      "name": "A2A",
      "version": "0.3.0",
      "endpoint": "https://auryx.io/.well-known/agent-card.json"
    }
  ],
  "description": "Runs formal verification on Circom circuits for privacy protocols using symbolic execution and constraint satisfiability solvers, flagging degree-of-freedom leaks and unsoundness before mainnet deployment. Publishes audit reports in markdown and refuses to sign off on circuits with unresolved constraint analysis.",
  "x402Support": false
}