{
  "id": "lib-agent:computer-science--synthesis-specialist",
  "_kind": "LibraryAgent",
  "_file": "generated-library/agents.yaml",
  "_cluster": "generated-library",
  "attributes": {
    "displayName": "synthesis-specialist",
    "description": "Agent specialized in program synthesis and automated code generation",
    "libraryPath": "library/specializations/domains/science/computer-science/agents/synthesis-specialist/AGENT.md",
    "specialization": "computer-science",
    "role": "Formal Verification Agent",
    "expertise": [
      "Specification authoring guidance",
      "Synthesis algorithm selection",
      "Counterexample-guided refinement",
      "Synthesis scalability techniques",
      "Domain-specific synthesis"
    ]
  },
  "outgoingEdges": [
    {
      "from": "lib-agent:computer-science--synthesis-specialist",
      "to": "skill-area:compiler-implementation",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-agent:computer-science--synthesis-specialist",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-agent:computer-science--synthesis-specialist",
      "to": "skill-area:mathematical-reasoning",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-agent:computer-science--synthesis-specialist",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-agent:computer-science--synthesis-specialist",
      "to": "role:computational-scientist",
      "kind": "lib_involves_role",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-agent:computer-science--synthesis-specialist",
      "to": "role:research-scientist",
      "kind": "lib_involves_role",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-agent:computer-science--synthesis-specialist",
      "to": "workflow:research-grant-lifecycle",
      "kind": "lib_implements_workflow",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-agent:computer-science--synthesis-specialist",
      "to": "specialization:theoretical-computer-science",
      "kind": "lib_belongs_to_specialization",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-agent:computer-science--synthesis-specialist",
      "to": "specialization:computer-science",
      "kind": "lib_belongs_to_specialization",
      "attributes": {
        "weight": 0.9
      }
    }
  ],
  "incomingEdges": [
    {
      "from": "lib-process:materials-science--high-throughput-screening",
      "to": "lib-agent:computer-science--synthesis-specialist",
      "kind": "uses_agent",
      "attributes": {
        "weight": 0.8
      }
    },
    {
      "from": "lib-process:scientific-discovery--abstraction-layer-thinking",
      "to": "lib-agent:computer-science--synthesis-specialist",
      "kind": "uses_agent",
      "attributes": {
        "weight": 0.8
      }
    },
    {
      "from": "lib-process:scientific-discovery--bias-variance-tradeoff",
      "to": "lib-agent:computer-science--synthesis-specialist",
      "kind": "uses_agent",
      "attributes": {
        "weight": 0.8
      }
    },
    {
      "from": "lib-process:scientific-discovery--complexity-analysis-reasoning",
      "to": "lib-agent:computer-science--synthesis-specialist",
      "kind": "uses_agent",
      "attributes": {
        "weight": 0.8
      }
    },
    {
      "from": "lib-process:scientific-discovery--fast-theory-sketching-protocol",
      "to": "lib-agent:computer-science--synthesis-specialist",
      "kind": "uses_agent",
      "attributes": {
        "weight": 0.8
      }
    },
    {
      "from": "lib-process:scientific-discovery--invariant-based-reasoning",
      "to": "lib-agent:computer-science--synthesis-specialist",
      "kind": "uses_agent",
      "attributes": {
        "weight": 0.8
      }
    },
    {
      "from": "lib-process:scientific-discovery--latent-variable-thinking",
      "to": "lib-agent:computer-science--synthesis-specialist",
      "kind": "uses_agent",
      "attributes": {
        "weight": 0.8
      }
    },
    {
      "from": "lib-process:scientific-discovery--levels-of-organization-thinking",
      "to": "lib-agent:computer-science--synthesis-specialist",
      "kind": "uses_agent",
      "attributes": {
        "weight": 0.8
      }
    },
    {
      "from": "lib-process:scientific-discovery--missing-data-measurement-error-thinking",
      "to": "lib-agent:computer-science--synthesis-specialist",
      "kind": "uses_agent",
      "attributes": {
        "weight": 0.8
      }
    },
    {
      "from": "lib-process:scientific-discovery--model-vs-reality-thinking",
      "to": "lib-agent:computer-science--synthesis-specialist",
      "kind": "uses_agent",
      "attributes": {
        "weight": 0.8
      }
    },
    {
      "from": "lib-process:scientific-discovery--reduction-to-known-problems",
      "to": "lib-agent:computer-science--synthesis-specialist",
      "kind": "uses_agent",
      "attributes": {
        "weight": 0.8
      }
    },
    {
      "from": "lib-process:scientific-discovery--residual-diagnostic-thinking",
      "to": "lib-agent:computer-science--synthesis-specialist",
      "kind": "uses_agent",
      "attributes": {
        "weight": 0.8
      }
    },
    {
      "from": "lib-process:scientific-discovery--uniformitarianism",
      "to": "lib-agent:computer-science--synthesis-specialist",
      "kind": "uses_agent",
      "attributes": {
        "weight": 0.8
      }
    },
    {
      "from": "lib-process:scientific-discovery--within-vs-between-subject-reasoning",
      "to": "lib-agent:computer-science--synthesis-specialist",
      "kind": "uses_agent",
      "attributes": {
        "weight": 0.8
      }
    }
  ]
}