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.
Last updated
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.