rafapra3008
Verify AI agent communication with session types and formal proofs
AI & ModelsLocal
Loading MCP servers…
ravikant1918
MCP server for Microsoft SharePoint — manage folders, documents, and metadata.
ProductivityLocal
Verify AI agent communication with session types and formal proofs
Showing 2,209–2,256 of 34,399
MCP server for Microsoft SharePoint — manage folders, documents, and metadata.
MCP server to search, inspect, and cross-reference RCSB Protein Data Bank structures
SWI-Prolog as a logic calculator for LLMs
Wrap any CLI as a Model Context Protocol server - schema auto-inferred from --help.
You can connect any API to LLMs. This enables AI to interact directly with APIs
AI compass from private sector to federal career — USAJobs search, salary, KSA
Email infrastructure and authentication for developers: domains, inbox routes, auth apps, deploys.
Interactive LeetCode MCP server with authorization and solution submission capabilities
Temporal engineering context for agents via MCP.
Local code search for agents: symbols, usages, call graph, AST patterns, grep and semantic search
Code-pinned team memory for AI coding agents — typed artifacts, MCP-native, self-host.
Deterministic pre-execution filter that blocks known scope-creep and prompt-injection tool calls
Local videos or YouTube/Bilibili URLs -> timestamped transcript, keyframes, contact sheets. Offline.
Self-hosted federated MCP gateway: one OAuth 2.1 MCP server in front of N apps, user-level scopes.
Self-contained SearXNG metasearch MCP server. One Docker image, 200+ engines, privacy-first.
MCP server for MAX Messenger by VK. 21 tools: messages, media, buttons, members, events.
NovelAI image generation as MCP tools: txt2img, img2img, inpaint, upscale, Director, ControlNet.
Convert PDF, DOCX, HTML, Markdown, and Text for AI assistant context injection.
Lint AI agent context files (CLAUDE.md, AGENTS.md, etc.) against your actual codebase
Biomedical MCP server: genes, variants, trials, literature, patents, optional SQL/R/biowasm tools.
Capture HTTP, email, and DNS callbacks with webhook.site from MCP clients.
Banco Central do Brasil (BCB): SGS series, Focus expectations, PTAX, stats + provenance. 17 tools.
Driflyte MCP server which lets AI assistants query topic-specific knowledge from web and GitHub.
Secret scanning for AI agents: rules and entropy find candidates, a model decides which are real.
Agent runtime with typed memory, knowledge and code graphs, plus file and web tools
Codebase memory for AI agents: an AST index plus agent-written notes that self-stale.
MCP server for Monobank API — currency rates, client info, and account statements
Reverse engineering and security analysis of .NET and native binaries: decompile, compare, patch.
HTTP MCP Server for comprehensive Python vulnerability scanning and security analysis.
Amazing Marvin task manager: complete public-API coverage (50 tools) with built-in rate limiting
Brightspace MCP server for D2L: what's due and submitted, grades, exams, what's new, course files.
MCP server for Python, JavaScript, and TypeScript code analysis with Ruff, ty, Vulture, and Biome
MCP server for integrating with Anki flashcards through conversational AI
Google Workspace automation for AI agents: 132 tools, safe bulk operations, undo.
Governed MCP workflows with policy validation, findings tracking, and review gates.
MCP server for VK Ads (VK Реклама) API: manage ad plans, ad groups, banners, and statistics.
Open, sourced, confidence-scored intelligence on AI startups - a free PitchBook alternative.
Find New York open data: which portal covers a place or topic, how to query it, datasets and columns
Drop-in MCP proxy. 71% fewer tokens. Session dedup compounds to 92%. Zero code changes.
MCP server that converts raster images (PNG/JPG/WEBP) to SVG vector format
MCP server for AI-assisted PCB design with KiCad 9.x
One shared memory for every AI you use, in plain Markdown files you own.
Hosted Crawleo MCP (remote streamable HTTP endpoint).
Query SEC EDGAR filings, XBRL financials, and company data via MCP. STDIO or Streamable HTTP.
Local-first nutrition MCP for AI agents: food, barcode, photo, intake, hydration, goals.
Ozon Seller & Performance API, 156 tools; responses trimmed 476k to 64k tokens.
MCP server for Google Play: full Android Publisher API v3 and Play Developer Reporting API.
