Server definition

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

The blob, as servednamed by its sha256

{
  "instructions": null,
  "tools": [
    {
      "description": "Ask DRACO a coding or security question. Answers are grounded in hundreds of\nreal programming and hacking books, with [n] citations and source titles.",
      "inputSchema": {
        "properties": {
          "question": {
            "title": "Question",
            "type": "string"
          }
        },
        "required": [
          "question"
        ],
        "title": "draco_askArguments",
        "type": "object"
      },
      "name": "draco_ask",
      "outputSchema": {
        "properties": {
          "result": {
            "title": "Result",
            "type": "string"
          }
        },
        "required": [
          "result"
        ],
        "title": "draco_askOutput",
        "type": "object"
      }
    },
    {
      "description": "Search DRACO's book library (BM25) for passages matching a topic.",
      "inputSchema": {
        "properties": {
          "k": {
            "default": 8,
            "title": "K",
            "type": "integer"
          },
          "query": {
            "title": "Query",
            "type": "string"
          }
        },
        "required": [
          "query"
        ],
        "title": "draco_searchArguments",
        "type": "object"
      },
      "name": "draco_search",
      "outputSchema": {
        "properties": {
          "result": {
            "title": "Result",
            "type": "string"
          }
        },
        "required": [
          "result"
        ],
        "title": "draco_searchOutput",
        "type": "object"
      }
    },
    {
      "description": "DRACO health + library size.",
      "inputSchema": {
        "properties": {},
        "title": "draco_statusArguments",
        "type": "object"
      },
      "name": "draco_status",
      "outputSchema": {
        "properties": {
          "result": {
            "title": "Result",
            "type": "string"
          }
        },
        "required": [
          "result"
        ],
        "title": "draco_statusOutput",
        "type": "object"
      }
    }
  ]
}

Verify it yourself

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