Persistent project memory + architectural decisions + pre-execution safety hooks for Claude Code. Local-only storage, multi-repo workspace, automatic knowledge extraction via background auditor.
An MCP server for building Lean4 code, and automated theorem proving
A Model Context Protocol service registry and connector framework that enables seamless integration with multiple services and models through a standardized API interface. Provides an extensible architecture for custom service adapters, API integrations, and model registries.
Extracts text, image links, and structural content from public Axure share pages to enable AI-powered prototype summarization. It features multi-page crawling and OCR fallback to process image-only designs for downstream LLM analysis.
Provides access to 21+ AI parsers and search engines including Perplexity, ChatGPT, Claude, Gemini, Copilot, Grok, DeepSeek, and web search tools through a unified Redis API interface.
Enables AI agents to interact with the Ayrshare API to publish social media posts, manage profiles, and handle comments or messages. It supports executing real-time API calls for analytics, media uploads, and automated scheduling across various social platforms.
Provides AI assistants with tools to query and explore the Azgaarnoth D\&D world repository, including searching content, retrieving stat blocks, spells, and browsing categories like races, classes, nations, and creatures across ~4,200 markdown files.
Enables connections to Azure AI Agents within any MCP client, allowing users to leverage Azure AI Foundry's models and knowledge tools like Azure AI Search and Bing Web Grounding through a conversational interface.
Enables interaction with Azure AI Foundry services including model exploration and deployment, knowledge management through AI Search, evaluation of text and agents, and fine-tuning operations. Provides unified access to Azure's AI capabilities through natural language commands.
Enables interaction with Azure AI Foundry services through a unified interface for model exploration and deployment, knowledge indexing and search, AI evaluation, and fine-tuning operations. Supports both GitHub token-based model testing and full Azure deployment workflows.
Enables interaction with Azure AI Foundry services for model exploration, deployment, and performance evaluation. It provides tools for managing knowledge bases via AI Search Service, executing fine-tuning jobs, and orchestrating AI agents through natural language.
Enables text-to-image generation and image editing using Azure AI Foundry models. Supports generating high-quality images from text descriptions and modifying existing images through natural language prompts.
An experimental MCP service for Azure AI Search in Python
Exposes backend APIs through Azure API Management as an MCP server to enable AI assistants to interact with product catalogs and order systems. It provides standardized tools for searching products, retrieving details, and managing orders via the Model Context Protocol.
Enables natural language exploration of Azure environments by generating and executing KQL queries against Azure Resource Graph. Supports multi-tenant configurations, subscription scoping, and provides direct access to Azure resource information through conversational interactions.
A server-sent events (SSE) MCP server that runs on Azure Container Apps with API key authentication, likely providing weather-related functionality based on the configuration.
全面解析Azure DevOpsMCP Server的核心功能、安装配置和实用案例。作为顶级Model Context Protocol服务器,Azure DevOps能让AI助手访问实时数据、执行操作,为您提供更智能的工作体验和自动化解决方案。
Enables management of Azure DevOps work items including Epics, Features, User Stories, Tasks, and Bugs through natural language. Supports CRUD operations, WIQL queries, work item relationships, and retrieval of project metadata such as iterations and area paths.
A proof-of-concept MCP Server that can query Azure DevOps
A Model Context Protocol server that enables AI assistants to interact with Azure DevOps services, providing capabilities for work item management, project management, and team collaboration through natural language.



