iiRecord
Agentic AI Atlas · specializations/cryptography-blockchain/smart-contract-fuzzing
lib-process:cryptography-blockchain--smart-contract-fuzzinga5c.ai
II.
LibraryProcess JSON

lib-process:cryptography-blockchain--smart-contract-fuzzing

Structured · live

specializations/cryptography-blockchain/smart-contract-fuzzing json

Inspect the normalized record payload exactly as the atlas UI reads it.

File · generated-library/processes.yamlCluster · generated-library
Record JSON
{
  "id": "lib-process:cryptography-blockchain--smart-contract-fuzzing",
  "_kind": "LibraryProcess",
  "_file": "generated-library/processes.yaml",
  "_cluster": "generated-library",
  "attributes": {
    "displayName": "specializations/cryptography-blockchain/smart-contract-fuzzing",
    "description": "Smart Contract Fuzzing - Fuzzing smart contracts using tools like Echidna and Foundry for property-based\ntesting and vulnerability discovery.",
    "libraryPath": "library/specializations/cryptography-blockchain/smart-contract-fuzzing.js",
    "specialization": "cryptography-blockchain",
    "references": [
      "- Echidna: https://github.com/crytic/echidna",
      "- Foundry Fuzzing: https://book.getfoundry.sh/forge/fuzz-testing"
    ],
    "example": "const result = await orchestrate('specializations/cryptography-blockchain/smart-contract-fuzzing', {\n  projectName: 'DeFi Protocol Fuzzing',\n  contracts: ['Token.sol', 'Vault.sol', 'Strategy.sol'],\n  fuzzingTool: 'echidna',\n  duration: 86400\n});",
    "usesAgents": [
      "property-engineer",
      "harness-engineer",
      "corpus-engineer",
      "fuzzer-operator",
      "coverage-analyst",
      "vuln-analyst",
      "repro-engineer",
      "report-generator"
    ]
  },
  "outgoingEdges": [
    {
      "from": "lib-process:cryptography-blockchain--smart-contract-fuzzing",
      "to": "skill-area:symmetric-encryption",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:cryptography-blockchain--smart-contract-fuzzing",
      "to": "skill-area:asymmetric-encryption",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-process:cryptography-blockchain--smart-contract-fuzzing",
      "to": "skill-area:smart-contract-development-testing",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-process:cryptography-blockchain--smart-contract-fuzzing",
      "to": "topic:hmac-signing",
      "kind": "lib_covers_topic",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:cryptography-blockchain--smart-contract-fuzzing",
      "to": "topic:ssl-certs",
      "kind": "lib_covers_topic",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-process:cryptography-blockchain--smart-contract-fuzzing",
      "to": "domain:security",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:cryptography-blockchain--smart-contract-fuzzing",
      "to": "role:security-engineer",
      "kind": "lib_involves_role",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:cryptography-blockchain--smart-contract-fuzzing",
      "to": "workflow:contract-lifecycle",
      "kind": "lib_implements_workflow",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:cryptography-blockchain--smart-contract-fuzzing",
      "to": "specialization:cryptography-blockchain",
      "kind": "lib_belongs_to_specialization",
      "attributes": {
        "weight": 1
      }
    }
  ],
  "incomingEdges": []
}