Conda-Forge MCP Integrations

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.

View all MCP Integrations for Conda-Forge

Why this server?
Provides alternative installation method for the Clingo ASP solver dependency through the conda-forge channel
Logic-LM MCP Server
Code Execution Autonomous Agents Remote
shipitsteven
-
security
A
license
-
quality
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 4 months ago
2
MIT License

Logic-LM MCP Server