Server definition
- Hash
- sha256:b2f451b487860e4c70c62433042b9f763f1b2e1aedba7638492a9dc8827e61c0
- What it is
- What a remote MCP server returned when asked what it offers: 6 tools
The blob, as servednamed by its sha256
{
"instructions": "Tools to turn a GitHub repo into agent-ready context. Pass a repo as \"owner/repo\" or a github.com URL.",
"tools": [
{
"description": "Return the full text of a single file in a repository, by path. Use after list_files or search_context to drill in.",
"inputSchema": {
"properties": {
"path": {
"description": "File path within the repo.",
"type": "string"
},
"ref": {
"description": "Optional branch, tag or commit SHA (defaults to the default branch).",
"type": "string"
},
"repo": {
"description": "A GitHub repo as \"owner/repo\" or a github.com URL.",
"type": "string"
}
},
"required": [
"repo",
"path"
],
"type": "object"
},
"name": "get_file",
"outputSchema": null
},
{
"description": "List the text files ctx would include for a repository (after stripping binaries, lockfiles and build dirs), with their byte sizes. Cheap way for an agent to see the layout before packing.",
"inputSchema": {
"properties": {
"exclude": {
"description": "Optional glob patterns (support **, *, ?).",
"items": {
"type": "string"
},
"type": "array"
},
"include": {
"description": "Optional glob patterns (support **, *, ?).",
"items": {
"type": "string"
},
"type": "array"
},
"ref": {
"description": "Optional branch, tag or commit SHA (defaults to the default branch).",
"type": "string"
},
"repo": {
"description": "A GitHub repo as \"owner/repo\" or a github.com URL.",
"type": "string"
}
},
"required": [
"repo"
],
"type": "object"
},
"name": "list_files",
"outputSchema": null
},
{
"description": "Crawl a documentation site from a start URL and return it as one agent-ready context blob: each page extracted to clean Markdown, concatenated with its URL. Stays within the same site section; bounded by depth and page count. Use max_tokens to fit a budget.",
"inputSchema": {
"properties": {
"depth": {
"description": "How many link hops to follow (0–3, default 1).",
"type": "number"
},
"max_pages": {
"description": "Max pages to fetch (1–30, default 10).",
"type": "number"
},
"max_tokens": {
"description": "Stop adding pages once the estimate exceeds this many tokens.",
"type": "number"
},
"url": {
"description": "The absolute http(s) URL to start crawling from (e.g. a docs index).",
"type": "string"
}
},
"required": [
"url"
],
"type": "object"
},
"name": "pack_docs",
"outputSchema": null
},
{
"description": "Fetch a GitHub repository and return it as one agent-ready context blob: text files concatenated with clear \"==== path ====\" headers, binaries/lockfiles/build dirs stripped, with a token estimate. Use include/exclude globs to focus, and max_tokens to fit a budget.",
"inputSchema": {
"properties": {
"exclude": {
"description": "Optional glob patterns (support **, *, ?).",
"items": {
"type": "string"
},
"type": "array"
},
"include": {
"description": "Optional glob patterns (support **, *, ?).",
"items": {
"type": "string"
},
"type": "array"
},
"max_tokens": {
"description": "Stop adding files once the estimate exceeds this many tokens.",
"type": "number"
},
"ref": {
"description": "Optional branch, tag or commit SHA (defaults to the default branch).",
"type": "string"
},
"repo": {
"description": "A GitHub repo as \"owner/repo\" or a github.com URL.",
"type": "string"
}
},
"required": [
"repo"
],
"type": "object"
},
"name": "pack_repo",
"outputSchema": null
},
{
"description": "Search a GitHub repository and return only the passages that match a query — each with its file path, line number and a relevance score. Far more token-efficient than pack_repo when you need a specific detail (e.g. \"where is auth handled?\").",
"inputSchema": {
"properties": {
"context_chars": {
"description": "Per-passage character budget (80–4000, default 500).",
"type": "number"
},
"exclude": {
"description": "Optional glob patterns (support **, *, ?).",
"items": {
"type": "string"
},
"type": "array"
},
"include": {
"description": "Optional glob patterns (support **, *, ?).",
"items": {
"type": "string"
},
"type": "array"
},
"max_matches": {
"description": "Max passages to return (1–50, default 5).",
"type": "number"
},
"query": {
"description": "Space-separated search terms; matching is case-insensitive.",
"type": "string"
},
"ref": {
"description": "Optional branch, tag or commit SHA (defaults to the default branch).",
"type": "string"
},
"repo": {
"description": "A GitHub repo as \"owner/repo\" or a github.com URL.",
"type": "string"
}
},
"required": [
"repo",
"query"
],
"type": "object"
},
"name": "search_context",
"outputSchema": null
},
{
"description": "Crawl a documentation site and return only the passages that match a query — each with its page URL, line and a relevance score. Token-efficient way to answer a question from docs without packing the whole site.",
"inputSchema": {
"properties": {
"context_chars": {
"description": "Per-passage character budget (80–4000, default 500).",
"type": "number"
},
"depth": {
"description": "How many link hops to follow (0–3, default 1).",
"type": "number"
},
"max_matches": {
"description": "Max passages to return (1–50, default 5).",
"type": "number"
},
"max_pages": {
"description": "Max pages to fetch (1–30, default 10).",
"type": "number"
},
"query": {
"description": "Space-separated search terms; matching is case-insensitive.",
"type": "string"
},
"url": {
"description": "The absolute http(s) URL to start crawling from.",
"type": "string"
}
},
"required": [
"url",
"query"
],
"type": "object"
},
"name": "search_docs",
"outputSchema": null
}
]
}Verify it yourself
curl -s https://api.teppi.xyz/v1/evidence/sha256:b2f451b487860e4c70c62433042b9f763f1b2e1aedba7638492a9dc8827e61c0 | sha256sum