Server definition

Hash: sha256:8f70c8bc146db286c0d0e5900271a1faf591fc91987849d5698b612ed6ad9622
What it is: What a remote MCP server returned when asked what it offers: 7 tools

The blob, as servednamed by its sha256

{
  "instructions": null,
  "tools": [
    {
      "description": "Grammar compatibility (AX plan Phase 5): does candidate grammar B still accept what baseline A accepted, and does it build the same tree for inputs both accept? Returns EVIDENCE AND CONFIDENCE, never a bare verdict: {normalForm, proven[], observed[], changes[], counterexamples[], confidence, why}. confidence:'low' with a stated reason is a successful run, not a failure — language inclusion is undecidable in general, so anything outside the decidable subset is reported not-proven rather than incompatible. Supply `corpus` (real inputs) for the tier that measures what your documents actually do.",
      "inputSchema": {
        "additionalProperties": false,
        "properties": {
          "a": {
            "description": "Baseline grammar: the serialized GrammarSpec already deployed.",
            "type": "object"
          },
          "b": {
            "description": "Candidate grammar: the serialized GrammarSpec proposed to replace it.",
            "type": "object"
          },
          "corpus": {
            "description": "Inputs to replay through both grammars, comparing acceptance and tree shape.",
            "items": {
              "type": "string"
            },
            "type": "array"
          },
          "depth": {
            "description": "Derivation depth for generated inputs (default 3).",
            "maximum": 5,
            "minimum": 0,
            "type": "integer"
          },
          "options": {
            "description": "TabnasOptions applied to both instances.",
            "type": "object"
          }
        },
        "required": [
          "a",
          "b"
        ],
        "type": "object"
      },
      "name": "compare_grammars",
      "outputSchema": null
    },
    {
      "description": "The full descriptor for one plugin, by package name ('@tabnas/csv') or bare fleet name ('csv'). Unknown names get {ok:false, errors} naming the known plugins.",
      "inputSchema": {
        "additionalProperties": false,
        "properties": {
          "name": {
            "description": "Plugin name.",
            "type": "string"
          }
        },
        "required": [
          "name"
        ],
        "type": "object"
      },
      "name": "describe_plugin",
      "outputSchema": null
    },
    {
      "description": "Parse input and explain the failure. Returns {failed:false} when the input parses; otherwise {failed:true, diagnostic, registry} where registry is the error-code registry entry {code,message,hint} for the diagnostic code (resource tabnas://errors), or null for a code the bundled registry does not know (e.g. a plugin-declared code).",
      "inputSchema": {
        "additionalProperties": false,
        "properties": {
          "grammar": {
            "description": "Serialized GrammarSpec (pure JSON, no functions). Schema: resource tabnas://schema/grammar. Grammars are validated before use; a `ref` key or a non-builtin function reference is rejected.",
            "type": "object"
          },
          "input": {
            "description": "Source text to parse.",
            "type": "string"
          }
        },
        "required": [
          "input"
        ],
        "type": "object"
      },
      "name": "explain_parse_error",
      "outputSchema": null
    },
    {
      "description": "List every bundled tabnas plugin descriptor (tabnas.plugin.json of each fleet repo), sorted by name. Returns {plugins:[...]}.",
      "inputSchema": {
        "additionalProperties": false,
        "properties": {},
        "type": "object"
      },
      "name": "list_plugins",
      "outputSchema": null
    },
    {
      "description": "Parse input with the tabnas engine. Returns {ok:true, tree} or, on parse failure, {ok:false, diagnostic} — the structured diagnostic described by resource tabnas://schema/diagnostic. An invalid grammar is rejected as {ok:false, errors:[{path,message}]}. Without a grammar the bare engine is used, which defines no rules and produces an undefined tree for every input.",
      "inputSchema": {
        "additionalProperties": false,
        "properties": {
          "grammar": {
            "description": "Serialized GrammarSpec (pure JSON, no functions). Schema: resource tabnas://schema/grammar. Grammars are validated before use; a `ref` key or a non-builtin function reference is rejected.",
            "type": "object"
          },
          "input": {
            "description": "Source text to parse.",
            "type": "string"
          },
          "options": {
            "description": "TabnasOptions applied to the fresh instance before the grammar. Data only: a plugins entry is rejected.",
            "type": "object"
          }
        },
        "required": [
          "input"
        ],
        "type": "object"
      },
      "name": "parse",
      "outputSchema": null
    },
    {
      "description": "Run TSV fixture content against a grammar in a fresh instance, using the fleet fixture convention (@tabnas/support): line 1 is a header, the input column is escape-decoded, the expected column is JSON or ERROR / ERROR:<code>. Returns {pass, fail, rows:[{row,input,expected,got,ok}]}. Refuses more than 10000 rows.",
      "inputSchema": {
        "additionalProperties": false,
        "properties": {
          "grammar": {
            "description": "Serialized GrammarSpec (pure JSON, no functions). Schema: resource tabnas://schema/grammar. Grammars are validated before use; a `ref` key or a non-builtin function reference is rejected.",
            "type": "object"
          },
          "options": {
            "additionalProperties": false,
            "properties": {
              "expectedCol": {
                "description": "Expected column, by position or header name. Default 1.",
                "type": [
                  "integer",
                  "string"
                ]
              },
              "inputCol": {
                "description": "Input column, by position or header name. Default 0.",
                "type": [
                  "integer",
                  "string"
                ]
              }
            },
            "type": "object"
          },
          "spec": {
            "description": "TSV fixture content (not a path).",
            "type": "string"
          }
        },
        "required": [
          "spec"
        ],
        "type": "object"
      },
      "name": "test_grammar",
      "outputSchema": null
    },
    {
      "description": "Validate a serialized GrammarSpec. Structural validation against the bundled grammar schema, an engine load in a fresh instance, and a check that every rule reference (`p`, `r`) names a rule the grammar actually defines — a dangling reference loads cleanly and then fails at parse time with `unknown_rule`. Returns {ok:true, v} (v = declared builtin config-schema version, absent means 1) or {ok:false, errors:[{path,message}]}. Security: a grammar carrying a `ref` key, or any function reference that is not a $-suffixed engine builtin, is rejected — validating a grammar never runs supplied code.",
      "inputSchema": {
        "additionalProperties": false,
        "properties": {
          "grammar": {
            "description": "Serialized GrammarSpec (pure JSON, no functions). Schema: resource tabnas://schema/grammar. Grammars are validated before use; a `ref` key or a non-builtin function reference is rejected.",
            "type": "object"
          }
        },
        "required": [
          "grammar"
        ],
        "type": "object"
      },
      "name": "validate_grammar",
      "outputSchema": null
    }
  ]
}

Verify it yourself

curl -s https://api.teppi.xyz/v1/evidence/sha256:8f70c8bc146db286c0d0e5900271a1faf591fc91987849d5698b612ed6ad9622 | sha256sum