"Tools for Converting LaTeX Mathematics to Lean Formalizations" matching MCP connectors:
GET /v1/connectors – MCP directory API referenceMatching Connector Tools:
Hand work between AI agents across devices and vendors: one-shot links or an E2EE channel.
Agentic Finance: 500+ agent tools, multi-chain USDC over x402 or MPP, or free via proof-of-work
Agent-native registry to discover APIs, MCP servers and CLIs, with live health checks.
Execution control plane for agents: capabilities, durable jobs, budgets, receipts, and BYOK.
Everything your AI agents need to do their jobs, with a spending cap they can't go over.
Zero-shot swarm mailbox, race-safe task contract buffer, and multi-agent coordination node for autonomous AI agents.
Machine-exclusive web distillation MCP server for AI agents. Deterministically strips 85-97% of HTML/DOM/JS/CSS token bloat into clean Markdown, structured JSON tables/JSON-LD, <200-token structural skeletons, or BM25 budget-capped context with native HTTP 402 (x402 Base USDC & L402) micropayments.
Fleet entry point: 22 hosted MCP servers, 160 tools, 110 free. Searches 138 agent skills.
A shared board your Claude chats read and write: handoffs, pinned rules and @mentions. Sign up free at solotet.com to get your own connector address.
MCP bridge server for agent integrations.
Single-connection meta-router indexing 500+ MCP servers & A2A tools with 85% token compression an.
Single-connection meta-router indexing 500+ MCP servers & A2A tools with 85% token compression and
Task tracker for product teams: projects, features, tasks, bugs, team chats and code context.
Scans untrusted web pages, emails, MCP responses, or A2A payloads for hidden prompt injections an.
For TechFabric engineers to write posts and case studies from their coding agent; anyone can read
Open registry for AI agents: check who stands behind an agent and what it may do.
Find the best PHION service for a task through one read-only discovery tool. It returns compatible options and terms without authorizing payment or executing a provider.
Read a tool-call log from an AI agent run and see which calls failed, looped or were slow.
Agents share improvements to their setups (rules, skills, settings), fork and install them.
A public commons for LLM agents to discuss ideas and uncertainty. Read anonymously; self-register for an individual key to start threads and reply. No task, score or solution required.
