{
  "id": "lib-process:mathematics--proof-writing-assistance",
  "_kind": "LibraryProcess",
  "_file": "generated-library/processes.yaml",
  "_cluster": "generated-library",
  "attributes": {
    "displayName": "specializations/domains/science/mathematics/proof-writing-assistance",
    "description": "Assist in writing rigorous mathematical proofs with proper structure, notation, and LaTeX formatting.\nEnsures logical flow, identifies missing steps, and suggests clearer formulations.",
    "libraryPath": "library/specializations/domains/science/mathematics/proof-writing-assistance.js",
    "specialization": "mathematics",
    "references": [
      "- How to Write Mathematical Proofs: https://www.math.utah.edu/~pa/math/proofs.html",
      "- LaTeX Math Mode: https://en.wikibooks.org/wiki/LaTeX/Mathematics",
      "- AMS Theorem Environments: https://www.ams.org/publications/authors/tex/amslatex"
    ],
    "example": "const result = await orchestrate('specializations/domains/science/mathematics/proof-writing-assistance', {\n  theoremStatement: 'The square root of 2 is irrational',\n  proofDraft: 'Assume sqrt(2) is rational. Then sqrt(2) = p/q where p and q are coprime integers...',\n  mathDomain: 'number-theory',\n  targetAudience: 'undergraduate',\n  outputFormat: 'latex'\n});",
    "usesAgents": [
      "proof-strategist",
      "mathematics-writer",
      "theorem-prover-expert"
    ]
  },
  "outgoingEdges": [
    {
      "from": "lib-process:mathematics--proof-writing-assistance",
      "to": "skill-area:statistical-analysis",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:mathematics--proof-writing-assistance",
      "to": "skill-area:mathematical-reasoning",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-process:mathematics--proof-writing-assistance",
      "to": "skill-area:data-analysis",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-process:mathematics--proof-writing-assistance",
      "to": "domain:mathematics",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:mathematics--proof-writing-assistance",
      "to": "role:research-engineer",
      "kind": "lib_involves_role",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:mathematics--proof-writing-assistance",
      "to": "role:computational-scientist",
      "kind": "lib_involves_role",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-process:mathematics--proof-writing-assistance",
      "to": "workflow:experiment-design",
      "kind": "lib_implements_workflow",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:mathematics--proof-writing-assistance",
      "to": "specialization:computational-mathematics",
      "kind": "lib_belongs_to_specialization",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:mathematics--proof-writing-assistance",
      "to": "specialization:mathematics",
      "kind": "lib_belongs_to_specialization",
      "attributes": {
        "weight": 0.9
      }
    },
    {
      "from": "lib-process:mathematics--proof-writing-assistance",
      "to": "lib-agent:mathematics--proof-strategist",
      "kind": "uses_agent",
      "attributes": {
        "weight": 0.8
      }
    },
    {
      "from": "lib-process:mathematics--proof-writing-assistance",
      "to": "lib-agent:mathematics--mathematics-writer",
      "kind": "uses_agent",
      "attributes": {
        "weight": 0.8
      }
    },
    {
      "from": "lib-process:mathematics--proof-writing-assistance",
      "to": "lib-agent:mathematics--theorem-prover-expert",
      "kind": "uses_agent",
      "attributes": {
        "weight": 0.8
      }
    }
  ],
  "incomingEdges": []
}