"Sky" matching MCP servers:

Provides a TypeScript MCP server scaffold that exposes tested, one-file tools to models with profile-scoped listings, honest annotations, response budgets, capability gating, and self-served guides and skills. Ships an in-memory notes backend as a working example and runs over stdio or Streamable HTTP.

Enables searching code, packages, repositories, vulnerability data, documentation, Q&A communities, and academic papers through 17 tools. Supports per-package source navigation across npm/PyPI/crates and per-repo code intelligence for GitHub URLs, with embedding dedup and local reranking.

A Python-based MCP server that enables document-based question answering by processing PDF, TXT, and Markdown files through OpenAI's API. It provides hallucination-free responses based strictly on document content using semantic search and includes a web interface for management.