{
  "id": "lib-agent:cryptography-blockchain--formal-methods",
  "_kind": "LibraryAgent",
  "_file": "generated-library/agents.yaml",
  "_cluster": "generated-library",
  "attributes": {
    "displayName": "formal-methods",
    "description": "Formal verification specialist for smart contract correctness using Certora, K Framework, and SMT solvers. Expert in property specification, invariant formulation, and counterexample analysis.",
    "libraryPath": "library/specializations/cryptography-blockchain/agents/formal-methods/AGENT.md",
    "specialization": "cryptography-blockchain",
    "role": "Formal Verification Engineer"
  },
  "outgoingEdges": [
    {
      "from": "lib-agent:cryptography-blockchain--formal-methods",
      "to": "skill-area:smart-contract-security",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-agent:cryptography-blockchain--formal-methods",
      "to": "skill-area:smart-contract-development-testing",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-agent:cryptography-blockchain--formal-methods",
      "to": "skill-area:application-security-testing",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-agent:cryptography-blockchain--formal-methods",
      "to": "domain:security",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-agent:cryptography-blockchain--formal-methods",
      "to": "role:security-engineer",
      "kind": "lib_involves_role",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-agent:cryptography-blockchain--formal-methods",
      "to": "role:research-engineer",
      "kind": "lib_involves_role",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-agent:cryptography-blockchain--formal-methods",
      "to": "specialization:cryptography-blockchain",
      "kind": "lib_belongs_to_specialization",
      "attributes": {
        "weight": 1
      }
    }
  ],
  "incomingEdges": [
    {
      "from": "lib-process:cryptography-blockchain--formal-verification",
      "to": "lib-agent:cryptography-blockchain--formal-methods",
      "kind": "uses_agent",
      "attributes": {
        "weight": 0.8
      }
    },
    {
      "from": "lib-process:cryptography-blockchain--smart-contract-development-lifecycle",
      "to": "lib-agent:cryptography-blockchain--formal-methods",
      "kind": "uses_agent",
      "attributes": {
        "weight": 0.8
      }
    },
    {
      "from": "lib-process:cryptography-blockchain--smart-contract-security-audit",
      "to": "lib-agent:cryptography-blockchain--formal-methods",
      "kind": "uses_agent",
      "attributes": {
        "weight": 0.8
      }
    }
  ]
}