"author:shipitsteven" matching MCP servers:

• Logic-LM MCP Server

  shipitsteven

  A

  license

  -

  quality

  C

  maintenance

  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 2025-08-28

  5

  MIT