MCP servers for dotnet

An MCP server for the Libraries Ireland catalogue, to scour for interesting books, preferably in your local branch.

Composable Microsoft.Extensions.AI IChatClient middlewares for .NET — tool-call tracking with in-band streaming progress, per-tool token usage reports, and satellite packages for MCP tools and Microso

A native desktop IDE for Lean 4 on macOS, Windows and Linux. Every proof re-checked by Tenet, an independent Lean 4 kernel. An MCP server for AI assistants, with Git and GitHub built in.

MCP server for SAP Crystal Reports .rpt files: inspect and edit reports from AI assistants (Claude Code, Claude Desktop, Cursor)

Self-hosted deploy ops for closed servers — Docker, GitHub Actions, optional Caddy UI.

Teach your AI coding agent what your DevExpress XAF application actually does. Roslyn-based extraction of entities, controllers, business rules and Model Editor customizations.

Firewall-friendly messaging for AI agents: MCP server that turns one Azure Storage account into an addressed multi-agent message bus. Pull-only, zero inbound ports.

Открытый MCP-сервер и навыки Codex для управления Renga BIM через COM API

Give your AI its own Windows desktop session while you keep using yours. Local viewer, CLI and MCP. Experimental preview for Windows 11.