{
  "id": "lib-skill:computer-science--typing-rule-generator",
  "_kind": "LibrarySkill",
  "_file": "generated-library/skills.yaml",
  "_cluster": "generated-library",
  "attributes": {
    "displayName": "typing-rule-generator",
    "description": "Generate and format typing rules in inference rule notation for type system design",
    "libraryPath": "library/specializations/domains/science/computer-science/skills/typing-rule-generator/SKILL.md",
    "specialization": "computer-science",
    "contentSummary": "# Typing Rule Generator\n\n## Purpose\n\nProvides expert guidance on generating typing rules for programming language design using formal inference rule notation.\n\n## Capabilities\n\n- LaTeX inference rule generation\n- Syntax-directed rule derivation\n- Typing derivation tree construction\n- Rule"
  },
  "outgoingEdges": [
    {
      "from": "lib-skill:computer-science--typing-rule-generator",
      "to": "skill-area:compiler-implementation",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:computer-science--typing-rule-generator",
      "to": "skill-area:language-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-skill:computer-science--typing-rule-generator",
      "to": "skill-area:graph-algorithms",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-skill:computer-science--typing-rule-generator",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:computer-science--typing-rule-generator",
      "to": "role:research-engineer",
      "kind": "lib_involves_role",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:computer-science--typing-rule-generator",
      "to": "role:computational-scientist",
      "kind": "lib_involves_role",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-skill:computer-science--typing-rule-generator",
      "to": "workflow:research-grant-lifecycle",
      "kind": "lib_implements_workflow",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:computer-science--typing-rule-generator",
      "to": "specialization:theoretical-computer-science",
      "kind": "lib_belongs_to_specialization",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:computer-science--typing-rule-generator",
      "to": "specialization:computer-science",
      "kind": "lib_belongs_to_specialization",
      "attributes": {
        "weight": 0.9
      }
    }
  ],
  "incomingEdges": []
}