by David Xu
MCP server for Z3/SMT solver - enables constraint solving and logical reasoning
pypi:z3smt-mcp · local packagepublished 8 mo ago
Tools for building, shipping and operating software.
MCP server for Z3/SMT solver - enables constraint solving and logical reasoning
MCP server for GitHub Trending repositories with keyword filtering
MCP server and workflow skills for building agents with Yutori
A Python MCP server for terms management functionality
MCP Server for Lark/Feishu OpenAPI
E2B MCP Server
面向 yudao 生态的 MCP 智能开发助手
MCP server for YouTube Music — lets AI agents search, browse, and manage your library via ytmusicapi.
YouTube transcript MCP server for Claude & ChatGPT. Token-efficient, cached, reliable.
云启智联AI文档解析服务的 MCP (Model Context Protocol) 服务器
Youty MCP server — exposes the Youty vault index (sqlite-vec + FTS5) to MCP-compatible AIs.
Download and trim YouTube videos with MCP (Model Context Protocol) server support
MCP server for collecting trending YouTube videos without web scraping
MCP server that fetches YouTube transcripts for LLM chat apps.
MCP server for fetching YouTube transcripts
YouTube search and download MCP server using yt-dlp and FastMCP 2.0
Turn YouTube into a research source for AI. MCP server for searching, transcripts, comments, and multi-video analysis.
YouTube MCP server using FastMCP and you-get for downloading videos
MCP server for YouTube transcript extraction and insight analysis
Session-based conversational YouTube video analysis MCP server using Gemini 2.5 Pro