NewJerseyStyle/plugin-logic-llm — MCP servers

2Stars on the repository

22Mods indexed here, across every type

7mo agoLast push, which is what freshness is scored on

MITLicence, which decides whether bodies are shown

Sort Relevance Recently updated Fewest tokens Security grade Repo stars Stars this week Top rated 6 mods

prolog-mcp

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.

2 7mo ago A tokens not measured original MIT

clingo-mcp

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.

2 7mo ago A tokens not measured original MIT

z3smt-mcp

NewJerseyStyle/plugin-logic-llm

MCP server Claude CodeCodexCursor +2

MCP server "z3smt-mcp" as configured in NewJerseyStyle/plugin-logic-llm. Launched with z3smt-mcp.

2 7mo ago A tokens not measured original MIT

folprover-mcp

NewJerseyStyle/plugin-logic-llm

MCP server Claude CodeCodexCursor +2

MCP server "folprover-mcp" as configured in NewJerseyStyle/plugin-logic-llm. Launched with folprover-mcp.

2 7mo ago A tokens not measured original MIT

pyke-mcp

NewJerseyStyle/plugin-logic-llm

MCP server Claude CodeCodexCursor +2

MCP server "pyke-mcp" as configured in NewJerseyStyle/plugin-logic-llm. Launched with pyke-mcp.

2 7mo ago A tokens not measured original MIT

logic-registry

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.

2 7mo ago A tokens not measured original MIT