Validate LaTeX snippets

validate_latex_snippets

Use this to validate LaTeX snippets before updating exercise or sheet content.

Contract metadata

{
  "annotations": {
    "readOnlyHint": true,
    "destructiveHint": false,
    "idempotentHint": true,
    "openWorldHint": false
  },
  "fileParams": [],
  "requiredPermission": "read",
  "security": {
    "type": "oauth2",
    "scopes": [
      "chalksurf:read"
    ]
  }
}

Input schema

The server advertises this JSON Schema to MCP clients. Runtime authorization and business-rule checks still apply.

{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "additionalProperties": false,
  "properties": {
    "snippets": {
      "items": {
        "additionalProperties": false,
        "properties": {
          "path": {
            "minLength": 1,
            "type": "string"
          },
          "value": {
            "type": "string"
          }
        },
        "required": [
          "path",
          "value"
        ],
        "type": "object"
      },
      "type": "array"
    }
  },
  "required": [
    "snippets"
  ],
  "type": "object"
}

Output schema

{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "additionalProperties": false,
  "properties": {
    "results": {
      "items": {
        "additionalProperties": false,
        "properties": {
          "issues": {
            "items": {
              "additionalProperties": false,
              "properties": {
                "code": {
                  "enum": [
                    "unclosed_delimiter",
                    "blacklisted_command",
                    "disallowed_control_character_in_math",
                    "disallowed_control_character_in_text",
                    "double_escaped_latex_command",
                    "katex_parse_error",
                    "raw_latex_command_outside_math"
                  ],
                  "type": "string"
                },
                "end": {
                  "maximum": 9007199254740991,
                  "minimum": 0,
                  "type": "integer"
                },
                "hint": {
                  "type": "string"
                },
                "message": {
                  "type": "string"
                },
                "severity": {
                  "const": "error",
                  "type": "string"
                },
                "snippet": {
                  "type": "string"
                },
                "start": {
                  "maximum": 9007199254740991,
                  "minimum": 0,
                  "type": "integer"
                }
              },
              "required": [
                "code",
                "message",
                "severity",
                "snippet",
                "start",
                "end"
              ],
              "type": "object"
            },
            "type": "array"
          },
          "path": {
            "type": "string"
          },
          "valid": {
            "type": "boolean"
          },
          "value": {
            "type": "string"
          }
        },
        "required": [
          "path",
          "value",
          "valid",
          "issues"
        ],
        "type": "object"
      },
      "type": "array"
    }
  },
  "required": [
    "results"
  ],
  "type": "object"
}