Tool Details: covia_list

Basic Information

Tool Name:covia_list
Asset Name:List Lattice Structure
Description:List keys at a lattice path with pagination. Returns type, count, and a (paginated) key array — values are not fetched. Use when you need just the keys of a known map (e.g. iterating agents under g/) or when paginating a large collection. For discovery and exploration use covia_inspect, which is budget-bounded and shows shape and sample values in one call. covia_slice paginates values; this paginates keys.
Adapter:covia
Asset Hash:0xa3332d3a1383d662d66763d6f5716299bc2c5c307de099d3def69e6d93834926
Input
PropertyTypeDescription
pathanyAny resolvable lattice path. Examples: 'v/ops' (venue catalog), 'o' (your pins), 'v/info/adapters' (installed adapters), 'g/my-agent' (agent record), 'w/notes'. Omit to describe the top-level of your namespace.
offsetintegerNumber of map keys to skip (default 0). Only applies to map types.
limitintegerMaximum map keys to return (default 1000). Only applies to map types.
Output
PropertyTypeDescription
keysarrayMap keys (only for map type, may be paginated).
valuesarraySet elements (only for set type).
offsetintegerStarting index of the returned key page (present for map listings).
typestringConvex type name, e.g. Map, Vector, Index, Set, String, Long, Boolean, Double, Blob, Nil.
existsbooleanTrue if data exists at this path
totalSizeintegerTotal element count of the collection (maps, vectors, sets, indices).

MCP Tool Usage Examples

This tool can be called via the MCP (Model Context Protocol) endpoint. Here are examples of how to use it:

JSON-RPC Call Example:

POST to https://api.getmine.ai/mcp

{
  "jsonrpc": "2.0",
  "id": 1,
  "method": "tools/call",
  "params": {
    "name": "covia_list",
    "arguments": {
      "input": "your input here"
    }
  }
}
cURL Example:
curl -X POST https://api.getmine.ai/mcp \\
  -H "Content-Type: application/json" \\
  -d '{
    "jsonrpc": "2.0",
    "id": 1,
    "method": "tools/call",
    "params": {
      "name": "covia_list",
      "arguments": {
        "input": "your input here"
      }
    }
  }'
Python Example:
import requests
import json

url = "https://api.getmine.ai/mcp"
payload = {
    "jsonrpc": "2.0",
    "id": 1,
    "method": "tools/call",
    "params": {
        "name": "covia_list",
        "arguments": {
            "input": "your input here"
        }
    }
}

response = requests.post(url, json=payload)
result = response.json()
print(result)
JavaScript/Node.js Example:
const fetch = require('node-fetch');

const url = 'https://api.getmine.ai/mcp';
const payload = {
    jsonrpc: '2.0',
    id: 1,
    method: 'tools/call',
    params: {
        name: 'covia_list',
        arguments: {
            input: 'your input here'
        }
    }
};

fetch(url, {
    method: 'POST',
    headers: {
        'Content-Type': 'application/json'
    },
    body: JSON.stringify(payload)
})
.then(response => response.json())
.then(data => console.log(data));

Asset Metadata

{
	"name": "List Lattice Structure",
	"description": "List keys at a lattice path with pagination. Returns type, count, and a (paginated) key array — values are not fetched. Use when you need just the keys of a known map (e.g. iterating agents under g/) or when paginating a large collection. For discovery and exploration use covia_inspect, which is budget-bounded and shows shape and sample values in one call. covia_slice paginates values; this paginates keys.",
	"dateCreated": "2026-03-07T00:00:00Z",
	"operation": {
		"adapter": "covia:list",
		"toolName": "covia_list",
		"input": {
			"type": "object",
			"properties": {
				"path": {
					"description": "Any resolvable lattice path. Examples: 'v/ops' (venue catalog), 'o' (your pins), 'v/info/adapters' (installed adapters), 'g/my-agent' (agent record), 'w/notes'. Omit to describe the top-level of your namespace."
				},
				"limit": {
					"type": "integer",
					"description": "Maximum map keys to return (default 1000). Only applies to map types."
				},
				"offset": {
					"type": "integer",
					"description": "Number of map keys to skip (default 0). Only applies to map types."
				}
			}
		},
		"output": {
			"type": "object",
			"properties": {
				"exists": { "type": "boolean", "description": "True if data exists at this path" },
				"type": { "type": "string", "description": "Convex type name, e.g. Map, Vector, Index, Set, String, Long, Boolean, Double, Blob, Nil." },
				"totalSize": { "type": "integer", "description": "Total element count of the collection (maps, vectors, sets, indices)." },
				"keys": { "type": "array", "description": "Map keys (only for map type, may be paginated)." },
				"values": { "type": "array", "description": "Set elements (only for set type)." },
				"offset": { "type": "integer", "description": "Starting index of the returned key page (present for map listings)." }
			}
		}
	}
}

Navigation

Back to adapter details

Back to all adapters

Back to index