CuNi exactness, Chamber two-key JSON, Agent-Rider. Lab signup, agent keys, x402 catalog.
Connect Remote server
claude mcp add --transport http slid-phi-labs https://www.slidphilabs.com/mcp
{
"mcpServers": {
"slid-phi-labs": {
"url": "https://www.slidphilabs.com/mcp"
}
}
}
{
"servers": {
"slid-phi-labs": {
"type": "http",
"url": "https://www.slidphilabs.com/mcp"
}
}
}
Settings > Connectors > Add custom connector
URL: https://www.slidphilabs.com/mcp
Tools 46 found in our last check
cuni_bankRun a CuNi program through CuNi Bank: submit source in Python or .cuni and get the exact output in the target language, or a refusal when the languages disagree. Read-only computation — no state is stored. Calls the CuNi Studio service (cuni-studio.fly.dev). Use for exactness ch…
spl_discoverList the lab's lead and cash products, auth endpoints, and entry points (site, CuNi Studio, Agent-Rider, Chamber, MCP, x402, SKILL.md). Read-only; returns a static discovery map. Takes no arguments. Use as the first call when orienting an agent; use the *_search catalog tools fo…
spl_lab_authExplain how to mint a lab account or agent API key: the human signup/login flow and the agent_key call. Read-only; returns instructions only and creates nothing. Takes no arguments. Use to learn the auth flow; use spl_signup to create a human account or spl_agent_key to mint a k…
spl_signupCreate a human lab account with an email and password. Mutating: stores a salted password hash and returns a signed session token. Email must be a valid address, password at least 8 characters; duplicate emails are rejected. Use for a human seat; use spl_agent_key for a password…
spl_agent_keyMint a passwordless agent API key (spl_ag_*) for a named agent. Mutating: creates an agent account and returns the key once — store it, it cannot be retrieved again. Use for agent seats; use spl_signup for a human account with email and password.
spl_catalogList the standing SKUs agents can buy via x402 (live product list from /api/x402-products). Read-only; returns current prices and payment rails. Takes no arguments. Use for live purchase options; use sku_search and sku_get for the catalog's price notes and links.
spl_compressCompress bytes with the hosted lossless engine (PCC and sibling codecs). Accepts base64 input; returns base64 packed bytes, sizes, and the method used. Read-only computation — nothing is stored. Metered: first 1 GB free once per IP, then $0.25/GB; a paid seat or x402 payment may…
spl_decompressRestore bytes packed by spl_compress. Accepts the base64 packed output; returns the original bytes as base64 plus their length. Read-only computation — nothing is stored. Use only on output from spl_compress; use spl_unzip for .pcc archives.
spl_zipPack files into a .pcc archive (the lab's zip). Each file is compressed with the hosted engine; returns the archive as base64 plus packed size and member count. Read-only computation — nothing is stored. Use to bundle multiple files; use spl_compress for a single blob, spl_unzip…
spl_unzipRestore files from a .pcc archive made by spl_zip. Accepts the archive as base64; returns each file with path and base64 bytes plus the member count. Read-only computation — nothing is stored. Use only on .pcc archives; use spl_decompress for single blobs from spl_compress.
spl_quoteQuote a metered PCC job before running it: price in USD for the given byte count, product, and operation. Read-only and free; returns the quote without charging or reserving anything. First 1 GB free once per IP, then $0.25/GB of input, $1 card minimum. Use before spl_compress o…
spl_researchDefault web search (Tavily). Fresh sources for any agent run. Args: query (required), max_results (1-10, default 5), search_depth (basic|advanced, default basic), include_answer (default false). Lab-metered; refuses closed when TAVILY_API_KEY is unset.
spl_warrant_issueIssue a Warrant (spend mandate) for an Agent-Rider identity, capping what an agent may spend, where, and for how long. Mutating: mints a signed token. Pass a Rider JWT, or demo:true for a 10-minute shape check that issues nothing billable. Use to authorize an agent's spending be…
spl_warrant_verifyVerify a Warrant token and check it against an optional host, action, and USD cost — pass usd to enforce the spend cap BEFORE the job runs. Read-only; verifies locally and changes nothing. Returns valid true/false with the Warrant or a reason. Use before running a job under a Wa…
spl_warrant_reserveReserve the expected cost against a Warrant BEFORE the job runs (pre-spend cap enforcement). Mutating: holds funds and returns a reservation id. File the receipt with that id to settle without double-deducting, or release it if the job never runs. Use after verify and before the…
spl_warrant_releaseRefund an unsettled Warrant reservation when the job never ran. Mutating: frees the held funds; the reservation cannot be used afterward. Use only for reservations that will never settle; use spl_warrant_receipt to settle a completed job.
spl_warrant_receiptFile a receipt against a Warrant after an action, settling the spend. Mutating: deducts the USD cost — pass the reservation id from spl_warrant_reserve to settle against the reservation instead of deducting twice. Use after a job completes; use spl_warrant_reserve before it runs.
spl_agentic_planPlan one Agent Commerce Network (ACN) run without executing it: validate the run shape across Rider, Warrant, Tollkeeper, Quikgater, PCC, AWLpay, PSI, and Conductor, plus any optional stage whose spec field is present. Pure and read-only — no disk, no network, nothing is charged…
spl_agentic_contextShrink LLM context extractively before a run: BM25-lite filtering, cross-encoder reranking, and dedup, verified by construction, with a quote on input bytes. Read-only computation; the text is not stored. Use to fit a long context into a run's budget; use spl_agentic_plan to sha…
spl_agentic_runExecute one Agent Commerce Network (ACN) run. Mutating: runs paid and unpaid steps; unpaid steps answer 402 (payment required) instead of running. Requires confirm:true plus demo:true or a Rider + Warrant pair. Use after spl_agentic_plan validates the shape; use spl_agentic_cont…
sku_searchSearch the Prices catalog by free text — PCC Pro, Chamber, Rider seats, Lab Pass, consulting, and OSS support. Read-only; returns matching entries with name, price, notes, and links. Use to find an entry by keyword; use sku_get when you already know the entry id.
sku_getRetrieve one Prices catalog entry by its id, e.g. pcc-pro, chamber-month, rider-team. Read-only; returns the entry's name, price, notes, and links. Use when you know the exact entry id; use sku_search to find an id by keyword. An unknown id returns an error listing the known ids.
license_searchSearch the License catalog by free text — public licenses (GPLv3, AGPL), hosted seats, and closed-app exceptions. Read-only; returns matching entries with name, price, notes, and links. Use to find an entry by keyword; use license_get when you already know the entry id.
license_getRetrieve one License catalog entry by its id, e.g. gplv3, seat, exception. Read-only; returns the entry's name, price, notes, and links. Use when you know the exact entry id; use license_search to find an id by keyword. An unknown id returns an error listing the known ids.
surface_searchSearch the Where to use them catalog by free text — where to use lab products — the public site, CuNi Studio, Agent-Rider, TeachAid, and this MCP server. Read-only; returns matching entries with name, price, notes, and links. Use to find an entry by keyword; use surface_get when…
surface_getRetrieve one Where to use them catalog entry by its id, e.g. rider, studio, mcp. Read-only; returns the entry's name, price, notes, and links. Use when you know the exact entry id; use surface_search to find an id by keyword. An unknown id returns an error listing the known ids.
cuni_searchSearch the CuNi catalog by free text — CuNi exactness — the law, the check gate, the spend-control example, and CuNi Bank. Read-only; returns matching entries with name, price, notes, and links. Use to find an entry by keyword; use cuni_get when you already know the entry id.
cuni_getRetrieve one CuNi catalog entry by its id, e.g. bank, law, check. Read-only; returns the entry's name, price, notes, and links. Use when you know the exact entry id; use cuni_search to find an id by keyword. An unknown id returns an error listing the known ids.
chamber_searchSearch the Chamber catalog by free text — Chamber two-key JSON seals and the 24-hour try box. Read-only; returns matching entries with name, price, notes, and links. Use to find an entry by keyword; use chamber_get when you already know the entry id.
chamber_getRetrieve one Chamber catalog entry by its id, e.g. seal, try24. Read-only; returns the entry's name, price, notes, and links. Use when you know the exact entry id; use chamber_search to find an id by keyword. An unknown id returns an error listing the known ids.
rider_searchSearch the Agent-Rider catalog by free text — Agent-Rider signed identity — issuing and verifying agent credentials. Read-only; returns matching entries with name, price, notes, and links. Use to find an entry by keyword; use rider_get when you already know the entry id.
rider_getRetrieve one Agent-Rider catalog entry by its id, e.g. issue, verify. Read-only; returns the entry's name, price, notes, and links. Use when you know the exact entry id; use rider_search to find an id by keyword. An unknown id returns an error listing the known ids.
pcc_searchSearch the PCC catalog by free text — PCC hosted compression — the engine, the 4 KiB stream pipe, and the meter. Read-only; returns matching entries with name, price, notes, and links. Use to find an entry by keyword; use pcc_get when you already know the entry id.
pcc_getRetrieve one PCC catalog entry by its id, e.g. engine, stream, meter. Read-only; returns the entry's name, price, notes, and links. Use when you know the exact entry id; use pcc_search to find an id by keyword. An unknown id returns an error listing the known ids.
pulsar_searchSearch the pulsar catalog by free text — pulsar, the free GPLv3 compressor, its closed-embed exception, and the Silesia measurement. Read-only; returns matching entries with name, price, notes, and links. Use to find an entry by keyword; use pulsar_get when you already know the…
pulsar_getRetrieve one pulsar catalog entry by its id, e.g. cousin, exception, silesia. Read-only; returns the entry's name, price, notes, and links. Use when you know the exact entry id; use pulsar_search to find an id by keyword. An unknown id returns an error listing the known ids.
measure_searchSearch the How pulsar compares catalog by free text — how pulsar compares on Silesia — gzip -9, pulsar 2.5.0, and xz -6 sizes. Read-only; returns matching entries with name, price, notes, and links. Use to find an entry by keyword; use measure_get when you already know the entry…
measure_getRetrieve one How pulsar compares catalog entry by its id, e.g. silesia-pulsar, silesia-gzip9, silesia-xz6. Read-only; returns the entry's name, price, notes, and links. Use when you know the exact entry id; use measure_search to find an id by keyword. An unknown id returns an er…
rail_searchSearch the How to pay catalog by free text — how to pay — Stripe for humans, x402 USDC for agents. Read-only; returns matching entries with name, price, notes, and links. Use to find an entry by keyword; use rail_get when you already know the entry id.
rail_getRetrieve one How to pay catalog entry by its id, e.g. stripe, x402. Read-only; returns the entry's name, price, notes, and links. Use when you know the exact entry id; use rail_search to find an id by keyword. An unknown id returns an error listing the known ids.
box_searchSearch the Try catalog by free text — the 24-hour try box. Read-only; returns matching entries with name, price, notes, and links. Use to find an entry by keyword; use box_get when you already know the entry id.
box_getRetrieve one Try catalog entry by its id, e.g. law. Read-only; returns the entry's name, price, notes, and links. Use when you know the exact entry id; use box_search to find an id by keyword. An unknown id returns an error listing the known ids.
npm_searchSearch the npm / public packages catalog by free text — public npm packages — slid-phi, spl-pay-per-suite, shard-zip, shard-tsdb, and pulsar. Read-only; returns matching entries with name, price, notes, and links. Use to find an entry by keyword; use npm_get when you already kno…
npm_getRetrieve one npm / public packages catalog entry by its id, e.g. spl-pay-per-suite, slid-phi, pulsar. Read-only; returns the entry's name, price, notes, and links. Use when you know the exact entry id; use npm_search to find an id by keyword. An unknown id returns an error listi…
docs_searchSearch the Docs catalog by free text — lab docs — SKILL.md, llms.txt, the MCP server card, platform discovery, pricing, and licensing. Read-only; returns matching entries with name, price, notes, and links. Use to find an entry by keyword; use docs_get when you already know the…
docs_getRetrieve one Docs catalog entry by its id, e.g. card, skill, pricing. Read-only; returns the entry's name, price, notes, and links. Use when you know the exact entry id; use docs_search to find an id by keyword. An unknown id returns an error listing the known ids.
Details
| Endpoint | https://www.slidphilabs.com/mcp (Streamable HTTP) |
| First published | 13 Sep 2026 |
| Last updated | 13 Sep 2026 |
| Registry name | io.github.ceedot-rock/slid-phi-labs |
More ai and media servers See all
Listing data from the official MCP registry. Status and tools from NestDaddy's daily check. Browse all MCP servers.
