Server definition

Hash: sha256:39ea06e76a4d1d99a4450955568ecd809435903dae29df97d4963add20b0867e
What it is: What a remote MCP server returned when asked what it offers: 5 tools

The blob, as servednamed by its sha256

{
  "instructions": null,
  "tools": [
    {
      "description": "List the directory tree of a specific path in a repository with customizable depth and traversal limits.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "maxDepth": {
            "default": 3,
            "description": "Maximum depth into the directory structure to list.",
            "type": "number"
          },
          "maxPerDir": {
            "default": 40,
            "description": "Maximum number of items to display per directory level.",
            "type": "number"
          },
          "name": {
            "description": "Full name of the repository (owner/name)",
            "pattern": "^[a-zA-Z0-9_.-]+\\/[a-zA-Z0-9_.-]+$",
            "type": "string"
          },
          "targetDir": {
            "default": "",
            "description": "Target directory path to inspect. Leaves empty to search from root.",
            "type": "string"
          }
        },
        "required": [
          "name"
        ],
        "type": "object"
      },
      "name": "list_tree",
      "outputSchema": null
    },
    {
      "description": "Retrieve the raw source code of specified files from within a known repository.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "name": {
            "description": "Full name of the repository (owner/name)",
            "pattern": "^[a-zA-Z0-9_.-]+\\/[a-zA-Z0-9_.-]+$",
            "type": "string"
          },
          "paths": {
            "description": "An array of precise file paths within the repository",
            "items": {
              "type": "string"
            },
            "type": "array"
          }
        },
        "required": [
          "name",
          "paths"
        ],
        "type": "object"
      },
      "name": "read_code",
      "outputSchema": null
    },
    {
      "description": "Perform a fast git grep inside the repository, allowing regex matching by default or substring search.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "contextLines": {
            "description": "Print num lines of output context (-C)",
            "type": "number"
          },
          "extendedRegexp": {
            "description": "Use extended regular expressions (-E)",
            "type": "boolean"
          },
          "fixedStrings": {
            "description": "Use fixed strings for patterns (don’t interpret pattern as a regex) (-F)",
            "type": "boolean"
          },
          "ignoreCase": {
            "description": "Ignore case distinctions in both the PATTERN and the input files (-i)",
            "type": "boolean"
          },
          "name": {
            "description": "Full name of the repository (owner/name)",
            "pattern": "^[a-zA-Z0-9_.-]+\\/[a-zA-Z0-9_.-]+$",
            "type": "string"
          },
          "path": {
            "description": "Directory or file path to limit the search scope",
            "type": "string"
          },
          "query": {
            "description": "Search pattern or query to pass to git grep",
            "type": "string"
          }
        },
        "required": [
          "name",
          "query"
        ],
        "type": "object"
      },
      "name": "search_code",
      "outputSchema": null
    },
    {
      "description": "Search for GitHub repositories by name, description, or topic keywords using the GitHub Search API.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "q": {
            "description": "Keyword to search in repository names, descriptions, or topics",
            "type": "string"
          }
        },
        "required": [
          "q"
        ],
        "type": "object"
      },
      "name": "search_repos",
      "outputSchema": null
    },
    {
      "description": "View repository basic information and its directory structure. Includes corresponding documentation repo if available.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "name": {
            "description": "Full name of the repository (owner/name)",
            "pattern": "^[a-zA-Z0-9_.-]+\\/[a-zA-Z0-9_.-]+$",
            "type": "string"
          }
        },
        "required": [
          "name"
        ],
        "type": "object"
      },
      "name": "view_repo",
      "outputSchema": null
    }
  ]
}

Verify it yourself

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