Server definition

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

The blob, as servednamed by its sha256

{
  "instructions": "Hokmah analyzes the impact of a code change on a PUBLIC GitHub repository, using a graph built from the repository's file tree and recent commit history (no language model is involved). Import a repository once with hokmah_connect_project, then call hokmah_analyze with a plain-language description of the change you plan to make; it returns a risk assessment, the files, symbols and modules likely to be affected, and related history. Use the affected files to decide what to read and test before editing. Private repositories are refused; imported analyses of public repositories are shared by all users.",
  "tools": [
    {
      "description": "Estimates the impact of a described code change on an imported public GitHub repository.\n`repo_url` is https://github.com/<owner>/<repository> and `query` describes the change in plain\nlanguage; `branch` is accepted for compatibility, the analysis uses the history imported\nfrom the default branch. Returns a risk assessment with the files, symbols and modules likely\nto be affected and related commits, computed from the repository graph without a language model.",
      "inputSchema": {
        "additionalProperties": false,
        "properties": {
          "branch": {
            "default": "main",
            "type": "string"
          },
          "query": {
            "type": "string"
          },
          "repo_url": {
            "type": "string"
          }
        },
        "required": [
          "repo_url",
          "query"
        ],
        "type": "object"
      },
      "name": "hokmah_analyze",
      "outputSchema": {
        "additionalProperties": true,
        "type": "object"
      }
    },
    {
      "description": "Imports a public GitHub repository so it can be analyzed: indexes its source files\n(.py .js .ts .jsx .tsx .rs .go .java) and its latest commits (up to 500) from the default\nbranch into a dependency and change-history graph. `repo_url` is\nhttps://github.com/<owner>/<repository>; `branch` is accepted for compatibility. A repository\nalready imported is not imported again. Returns the project id and the number of commits and\nfiles ingested.",
      "inputSchema": {
        "additionalProperties": false,
        "properties": {
          "branch": {
            "default": "main",
            "type": "string"
          },
          "repo_url": {
            "type": "string"
          }
        },
        "required": [
          "repo_url"
        ],
        "type": "object"
      },
      "name": "hokmah_connect_project",
      "outputSchema": {
        "additionalProperties": true,
        "type": "object"
      }
    }
  ]
}

Verify it yourself

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