ToolsMCP
mina-mcp-server
Listed in the official MCP Registry with an installable npm package. Capabilities below are the publisher’s own description.
- Type
- MCP server
- Publisher
- minaprotocol (GitHub)
- Prerequisites
- Install @o1-labs/mina-mcp-server from npm (stdio transport). Inspect it before installing; AgentsByTask never installs discovered packages.
- Current version
- 0.7.3 · updated
- Official links
Publisher’s description
Query Mina Protocol: accounts, blocks, transactions, zkApp events/actions, archive SQL, Rosetta.
Evidence
Each record keeps its own date and scope. Labels are independent: documentation does not imply a checked connection, and a connection does not imply a passed task.
-
Listed in the official MCP Registry
Version 0.7.3, registry status active. 1 package (npm)
Publisher-supplied registry metadata. Not a checked connection, a safe package or a completed task.
- Source publisher
- minaprotocol (GitHub)
- Version observed
- 0.7.3
- Source
- registry.modelcontextprotocol.io/v0.1/servers/io.github.MinaProtocol%2Fmina-mcp-server/versions/0.7.3
Listed for these tasks
| Task | Documented for this task | Unknowns | Why it is listed |
|---|---|---|---|
| Query a database in plain language | Publisher description mentions “sql”, “query”. | No connection check or task run. Capability is as described by the publisher. | Rule database-query matched: “sql”, “query”. Rule database-query. |
Published pricing
No published price recordedCost per completed task is only shown on a task page when a comparable run recorded metered spend and verified completions.
Registry record
- Packages
@o1-labs/mina-mcp-server(npm, stdio)- Registry entry
- Official MCP Registry record (JSON)
- Namespace
io.github.MinaProtocol/mina-mcp-server
AgentsByTask never installs discovered packages or connects to discovered endpoints during discovery. An endpoint string in a registry record is not a checked connection.