Server definition
- Hash
- sha256:0f080d257faf09e7de79884c3661c4652ba7eeee9fcbcda0373b8a992de2124d
- What it is
- What a remote MCP server returned when asked what it offers: 5 tools
The blob, as servednamed by its sha256
{
"instructions": "Version-true Web3 context: code, docs, EIPs, ABIs and deployment addresses, scoped to an exact project version.\n\nEscalation ladder — start at the cheapest primitive that can answer:\nlookup → grep → search → deps → fetch\n\n- lookup: a typed record (address, ABI, EIP). Mis-routing away from lookup is the worst failure on this surface.\n- grep: an exact identifier you already know.\n- search: prose, or an identifier you do not know. Returns selectors, not bodies.\n- deps: once you hold a selector and the surrounding surface matters.\n- fetch: last. The only step that spends tokens on bodies. Max 5 selectors.\n\nVersion contract: pass `version` when you know it. Every response labels `version_defaulted` when you did not, and carries `project@version`, `last_validated` and `as_of` on every unit. Two versions of one interface are never returned without labelling both.\n\nScoping: if your client sends a lockfile or package manifest, the server scopes to the projects it names — the most reliable path. Otherwise scoping falls back to identifiers in the query, which abstains rather than guess when the evidence is thin.",
"tools": [
{
"description": "Dependency closure around a selector. Does not follow calls across projects.",
"inputSchema": {
"additionalProperties": false,
"properties": {
"depth": {
"maximum": 3,
"minimum": 1,
"type": "integer"
},
"kinds": {
"items": {
"type": "string"
},
"type": "array"
},
"selector": {
"type": "string"
}
},
"required": [
"selector"
],
"type": "object"
},
"name": "web3_deps",
"outputSchema": null
},
{
"description": "Full bodies for selectors you already chose, or the next page of a cursor. Does not discover selectors.",
"inputSchema": {
"additionalProperties": false,
"properties": {
"cursor": {
"type": "string"
},
"selectors": {
"items": {
"type": "string"
},
"maxItems": 5,
"type": "array"
}
},
"type": "object"
},
"name": "web3_fetch",
"outputSchema": null
},
{
"description": "Exact lexical match on a known identifier. Does not rank semantically.",
"inputSchema": {
"additionalProperties": false,
"properties": {
"limit": {
"maximum": 50,
"minimum": 1,
"type": "integer"
},
"pattern": {
"type": "string"
},
"project": {
"type": "string"
},
"version": {
"type": "string"
}
},
"required": [
"pattern"
],
"type": "object"
},
"name": "web3_grep",
"outputSchema": null
},
{
"description": "Typed records by id: address, ABI, EIP. Does not search prose or rank.",
"inputSchema": {
"additionalProperties": false,
"properties": {
"chain": {
"type": "string"
},
"id": {
"type": "string"
},
"kind": {
"enum": [
"address",
"abi",
"eip"
],
"type": "string"
},
"project": {
"type": "string"
},
"version": {
"type": "string"
}
},
"required": [
"kind",
"id"
],
"type": "object"
},
"name": "web3_lookup",
"outputSchema": null
},
{
"description": "Ranked selectors for a prose query or unknown identifier. Does not return bodies.",
"inputSchema": {
"additionalProperties": false,
"properties": {
"intent": {
"enum": [
"integrate",
"implement",
"debug",
"lookup",
"learn"
],
"type": "string"
},
"limit": {
"maximum": 20,
"minimum": 1,
"type": "integer"
},
"project": {
"type": "string"
},
"query": {
"type": "string"
},
"version": {
"type": "string"
}
},
"required": [
"query"
],
"type": "object"
},
"name": "web3_search",
"outputSchema": null
}
]
}Verify it yourself
curl -s https://api.teppi.xyz/v1/evidence/sha256:0f080d257faf09e7de79884c3661c4652ba7eeee9fcbcda0373b8a992de2124d | sha256sum