conda-forge is a community-led GitHub organization that creates and maintains packages for the conda package manager, providing a community-maintained collection of recipes, build infrastructure and distributions for the conda ecosystem.
Provides symbolic reasoning capabilities by converting natural language logical problems into Answer Set Programming (ASP) format and solving them using the Clingo solver. Enables users to perform formal logical reasoning, verify logical arguments, and get step-by-step explanations for complex logical problems.
5
MIT
Why this server?
Provides access to conda ecosystem metadata from conda-forge channel data, including package search, dependency queries, and file path mapping.
An MCP server that exposes authoritative, read-only Conda ecosystem metadata for AI agents, enabling package search, dependency resolution, and other packaging queries without side effects.
6
BSD 3-Clause
Why this server?
Provides optional dependencies from conda-forge on the cluster.
Serves a lab's manuscript library over the Model Context Protocol, letting clients list works, read text, search paragraphs, browse figures and notes, and record dead ends. Access is filtered by per-person sharing tiers, so each contributor's chosen slice of text, figure previews, assets and notes is what gets exposed.