Showing 24 of 1,022 servers
com.axiomatic-ai/prover
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
GuruWalk Affiliates
GuruWalk affiliate program for AI agents. Free walking tours in 100+ countries. Earn per booking.
Bzigo
Bzigo smart trap: device status, detections, health, firmware and simulations via AI.
com.phasefolio/phasefolio
Biotech rNPV/PoS engine for AI agents. Signed exports, evidence register, asset landscape.
ShipStatic
Deploy static sites instantly from AI agents — no account required
Drengr
Eyes and hands for AI agents on Android and iOS devices.
dev.rostro/rostro
Turn any LLM multimodal; generate images, voices, videos, 3D models, music, and more.
Sunrays — Local Service Booking
Book local tradespeople — plumber, electrician, HVAC, and 7 more — via your AI agent. All US.
Chairman Sovereign's 14-Floor Data Hotel
113 MCP tools: oracle, escrow, compliance, remittance, AI. 12 free tools, PAYG $0.001/call.
Genome Industrial Intelligence
Industrial intelligence for AI agents. Conviction scores and diligence for 10,000+ industrials.
Leadbay
AI lead discovery, qualification, and outreach prep on your Leadbay account.
Hive Credit Broker
Broker-only credit/lending discovery shim for AI agents
PUBLICMCP
Publish structured, AI-readable business identity data as an MCP server in minutes.
elisym
AI agent discovery, marketplace, messaging, and payments on Nostr - no platform, no middleman
Inferventis MCP Server
Loan & mortgage calculator, compound interest, ROI, crypto prices, FX conversion for AI agents.
Cortex Memory Engine
Local-first AI memory engine — 4-tier memory, people graph, Bayesian beliefs. Encrypted, 62µs.
u-he Preset Randomizer
Generate, randomize, explain, and manage u-he synthesizer presets via the Model Context Protocol.
Modern CLI MCP Server
MCP server exposing 104+ modern CLI tools for AI agents with JSON output.
ClawPipe
Cost-optimized LLM pipeline + 6 AI security skills (reasoning, triage, remediation, compliance).
SSH MCP Tool
Secure MCP SSH automation server with policy controls, resources, prompts, stdio, and HTTP.
Myco: Agent-First Cognitive Substrate
Agent-first cognitive substrate: 20 verbs + 46 lint dims over a self-validating graph.
MCP for Zotero
Connect your Zotero reference library to AI assistants via Model Context Protocol.
AI Skill Store
Agent-first skill marketplace with USK open standard for Claude, Cursor, Gemini, Codex CLI.
CAPI Gateway
Apache Camel API Gateway with REST-to-MCP bridging for LLM agents.