Server definition
- Hash
- sha256:0a8d340b6e18d07650c133128729243c2c013c763ac9dff8d03d34c56db23b52
- 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": "Explain how this Path 1 MCP server fits into GitLumen and how it later connects to Base MCP Path 2.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"properties": {},
"type": "object"
},
"name": "explain_gitlumen_mcp_flow",
"outputSchema": null
},
{
"description": "Fetch public GitHub repository or PR structure without generating a full risk report.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"branch": {
"description": "Optional branch/ref.",
"type": "string"
},
"limit": {
"default": 300,
"description": "Maximum tree entries to return.",
"maximum": 1000,
"minimum": 10,
"type": "integer"
},
"repoUrl": {
"description": "GitHub repository or pull request URL.",
"type": "string"
}
},
"required": [
"repoUrl"
],
"type": "object"
},
"name": "get_repository_structure",
"outputSchema": null
},
{
"description": "Get a previously generated GitLumen MCP report by reportId.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"output": {
"default": "compact",
"enum": [
"compact",
"markdown",
"json"
],
"type": "string"
},
"reportId": {
"description": "Report id returned by screen_repository, for example glr_abcd1234abcd1234",
"type": "string"
}
},
"required": [
"reportId"
],
"type": "object"
},
"name": "get_review_report",
"outputSchema": null
},
{
"description": "List previously generated GitLumen MCP reports stored locally.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"limit": {
"default": 20,
"maximum": 100,
"minimum": 1,
"type": "integer"
}
},
"type": "object"
},
"name": "list_review_reports",
"outputSchema": null
},
{
"description": "Screen a public GitHub repository or GitHub pull request URL and generate a GitLumen-style risk report. Supports repo URLs and /pull/<number> URLs.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"branch": {
"description": "Optional branch/ref. Ignored for PR URLs unless GitHub needs fallback.",
"type": "string"
},
"maxFiles": {
"description": "Optional hard cap for files downloaded and scanned.",
"maximum": 300,
"minimum": 1,
"type": "integer"
},
"output": {
"default": "compact",
"description": "Response format returned to the MCP client.",
"enum": [
"compact",
"markdown",
"json"
],
"type": "string"
},
"repoUrl": {
"description": "GitHub repository URL, for example https://github.com/owner/repo or https://github.com/owner/repo/pull/123",
"type": "string"
},
"scope": {
"default": "standard",
"description": "Screening depth. quick downloads fewer files; standard downloads more files.",
"enum": [
"quick",
"standard"
],
"type": "string"
}
},
"required": [
"repoUrl"
],
"type": "object"
},
"name": "screen_repository",
"outputSchema": null
}
]
}Verify it yourself
curl -s https://api.teppi.xyz/v1/evidence/sha256:0a8d340b6e18d07650c133128729243c2c013c763ac9dff8d03d34c56db23b52 | sha256sum