{
  "id": "lib-agent:mathematics--proof-strategist",
  "_kind": "LibraryAgent",
  "_file": "generated-library/agents.yaml",
  "_cluster": "generated-library",
  "attributes": {
    "displayName": "proof-strategist",
    "description": "Agent specialized in mathematical proof techniques and strategies",
    "libraryPath": "library/specializations/domains/science/mathematics/agents/proof-strategist/AGENT.md",
    "specialization": "mathematics",
    "role": "Pure Mathematics Agent",
    "expertise": [
      "Proof method selection",
      "Assumption identification and validation",
      "Logical structure analysis",
      "Counter-argument anticipation",
      "Proof simplification suggestions",
      "Alternative proof path exploration"
    ]
  },
  "outgoingEdges": [
    {
      "from": "lib-agent:mathematics--proof-strategist",
      "to": "skill-area:mathematical-reasoning",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-agent:mathematics--proof-strategist",
      "to": "skill-area:compiler-implementation",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-agent:mathematics--proof-strategist",
      "to": "skill-area:np-hard-heuristics",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-agent:mathematics--proof-strategist",
      "to": "domain:mathematics",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-agent:mathematics--proof-strategist",
      "to": "role:computational-scientist",
      "kind": "lib_involves_role",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-agent:mathematics--proof-strategist",
      "to": "role:research-scientist",
      "kind": "lib_involves_role",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-agent:mathematics--proof-strategist",
      "to": "workflow:experiment-design",
      "kind": "lib_implements_workflow",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-agent:mathematics--proof-strategist",
      "to": "specialization:computational-mathematics",
      "kind": "lib_belongs_to_specialization",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-agent:mathematics--proof-strategist",
      "to": "specialization:mathematics",
      "kind": "lib_belongs_to_specialization",
      "attributes": {
        "weight": 0.9
      }
    }
  ],
  "incomingEdges": [
    {
      "from": "lib-process:mathematics--conjecture-exploration",
      "to": "lib-agent:mathematics--proof-strategist",
      "kind": "uses_agent",
      "attributes": {
        "weight": 0.8
      }
    },
    {
      "from": "lib-process:mathematics--proof-writing-assistance",
      "to": "lib-agent:mathematics--proof-strategist",
      "kind": "uses_agent",
      "attributes": {
        "weight": 0.8
      }
    },
    {
      "from": "lib-process:mathematics--theorem-proof-verification",
      "to": "lib-agent:mathematics--proof-strategist",
      "kind": "uses_agent",
      "attributes": {
        "weight": 0.8
      }
    }
  ]
}