6 tagged paper implementation, measured the same way as everything else here.
NewJerseyStyle/plugin-logic-llm
MCP server Claude CodeCodexCursor +2
MCP server "prolog-mcp" as configured in NewJerseyStyle/plugin-logic-llm. Runs locally from the github:adamrybinski/prolog-mcp npm package. Needs 1 environment variable to run.
NewJerseyStyle/plugin-logic-llm
MCP server Claude CodeCodexCursor +2
MCP server for interacting with Clingo ASP solver via WebAssembly. Runs locally from the clingo-mcp npm package. Needs 1 environment variable to run.
NewJerseyStyle/plugin-logic-llm
MCP server Claude CodeCodexCursor +2
MCP server "logic-registry" as configured in NewJerseyStyle/plugin-logic-llm. Runs ${CLAUDE_PLUGIN_ROOT}/servers/registry-server/dist/index.js with node. Needs 1 environment variable to run.