Last released Aug 28, 2025
A Model Context Protocol server that provides symbolic reasoning capabilities using Logic-LM framework and Answer Set Programming
Supported by
