Server definition

Hash: sha256:e3978d5e7d9a0ee42c7f6fb66d8d5d2022d3b38d5f133f59f292c4056348552d
What it is: What a remote MCP server returned when asked what it offers: 6 tools

The blob, as servednamed by its sha256

{
  "instructions": "Remit is a small checked language for programs that call tools and models. Start with remit_guide. Write a .rmt program against the host interface (host.rmti) you are given, then call remit_check and fix every error before finishing. When editing an existing program, call remit_authority_diff and do not widen authority unless the user asked for it. remit_examples returns complete working programs.",
  "tools": [
    {
      "description": "Compare two versions of a program: does the new one gain resources, higher worst-case calls or cost, new\n    tagged data flows or new approval sites? Use this after editing a program.",
      "inputSchema": {
        "properties": {
          "host": {
            "title": "Host",
            "type": "string"
          },
          "new_program": {
            "title": "New Program",
            "type": "string"
          },
          "old_program": {
            "title": "Old Program",
            "type": "string"
          }
        },
        "required": [
          "old_program",
          "new_program",
          "host"
        ],
        "title": "tool_authority_diffArguments",
        "type": "object"
      },
      "name": "remit_authority_diff",
      "outputSchema": null
    },
    {
      "description": "Type-check a program against a host interface (and optional policy TOML). Returns errors with locations and\n    hints, and on success the authority manifest (resources, worst-case calls and cost, approval sites, flows).",
      "inputSchema": {
        "properties": {
          "host": {
            "title": "Host",
            "type": "string"
          },
          "policy": {
            "anyOf": [
              {
                "type": "string"
              },
              {
                "type": "null"
              }
            ],
            "default": null,
            "title": "Policy"
          },
          "program": {
            "title": "Program",
            "type": "string"
          }
        },
        "required": [
          "program",
          "host"
        ],
        "title": "tool_checkArguments",
        "type": "object"
      },
      "name": "remit_check",
      "outputSchema": null
    },
    {
      "description": "List example apps, or return one (program, host.rmti, policy.toml) by name.",
      "inputSchema": {
        "properties": {
          "name": {
            "anyOf": [
              {
                "type": "string"
              },
              {
                "type": "null"
              }
            ],
            "default": null,
            "title": "Name"
          }
        },
        "title": "tool_examplesArguments",
        "type": "object"
      },
      "name": "remit_examples",
      "outputSchema": null
    },
    {
      "description": "Return the program in canonical format (comments preserved).",
      "inputSchema": {
        "properties": {
          "program": {
            "title": "Program",
            "type": "string"
          }
        },
        "required": [
          "program"
        ],
        "title": "tool_formatArguments",
        "type": "object"
      },
      "name": "remit_format",
      "outputSchema": null
    },
    {
      "description": "Return the quick guide (default) or the full language specification (section='spec').",
      "inputSchema": {
        "properties": {
          "section": {
            "default": "guide",
            "title": "Section",
            "type": "string"
          }
        },
        "title": "tool_guideArguments",
        "type": "object"
      },
      "name": "remit_guide",
      "outputSchema": {
        "properties": {
          "result": {
            "title": "Result",
            "type": "string"
          }
        },
        "required": [
          "result"
        ],
        "title": "tool_guideOutput",
        "type": "object"
      }
    },
    {
      "description": "Run a checked program OFFLINE on JSON fixtures (canned capability and model outputs). Approvals are\n    auto-granted. Returns the result and the list of calls made. No real capability is ever invoked.",
      "inputSchema": {
        "properties": {
          "fixtures": {
            "title": "Fixtures",
            "type": "string"
          },
          "host": {
            "title": "Host",
            "type": "string"
          },
          "inputs": {
            "default": "{}",
            "title": "Inputs",
            "type": "string"
          },
          "policy": {
            "anyOf": [
              {
                "type": "string"
              },
              {
                "type": "null"
              }
            ],
            "default": null,
            "title": "Policy"
          },
          "program": {
            "title": "Program",
            "type": "string"
          }
        },
        "required": [
          "program",
          "host",
          "fixtures"
        ],
        "title": "tool_run_fixturesArguments",
        "type": "object"
      },
      "name": "remit_run_fixtures",
      "outputSchema": null
    }
  ]
}

Verify it yourself

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