10 actions in 10 pieces of software · ranked by words, meaning and measured trust · 638 ms
MCP serverrecord
- echo_facility_search
Search EPA-regulated facilities by name, state, ZIP code, city, or industry code (e.g., "3211" for logging). Returns facility IDs, addresses, compliance status, and program affiliations.
- echo_facility_search
- 2sahafound in code, not yet checkedno passport yet
MCP servermarawaneldeib/saha
- get_facility
Fetch a single facility by UUID or slug. Returns full detail including hours, sports, photos, and average rating. 404 if the facility is not active.
- get_facility
- 3io.github.ToremLabs/prooffound in code, not yet checkedno passport yet
- record_proof
Record a concept's proof and promote it to validated. Snapshots the proof gate (support, criteria met, objections addressed) into a durable proof record. Refuses when the gate isn't clear and returns the blockers; pass force:true to record anyway. The signer is the authenticated user.
- record_proof
- 4ActiveNet OpenAPI MCP Serverfound in code, not yet checkedno passport yet
- get_facility_details
Get detailed information about a specific facility
- get_facility_details
- 5cornell-campus-life-agent---mcp-demo or tutorialno passport yet
MCP servermingingd/cornell-campus-life-agent---mcp-
- list_facilities
Convenience tool: flatten all facilities with their IDs and gym context. Helpful to discover valid facility IDs for capacity queries.
- list_facilities
APIrecord
- facilities_read
Retrieve a facility by id
- facilities_read
MCP serverrecord
- submit_proof
Submit cryptographic proof of delivery. Requires SHA-256 hash and HTTPS/IPFS URI.
- submit_proof
- 8tandem-mcpfound in code, not yet checkedno passport yet
MCP serverwallabyway/tandem-mcp
- get_facility
Get facility details including name, address, and linked models. The 'links' array contains model IDs needed for element queries.
- get_facility
APIrecord
- PropertyController_GetPropertiesFacilities
A collection of facilities linked to a block, property or room
- PropertyController_GetPropertiesFacilities
libraryZ3Prover/z3record5,432,750 downloads/month
- prover
Labels are the instruments' verdict and are never changed by ranking. Agents and robots get this same answer as JSON at /api/v1/find?q=…&answer=1 and through the MCP server.