NewJerseyStyle/plugin-logic-llm
Plugin Claude Code
Logic-LLM integration for Claude Code - enables symbolic reasoning with Prolog, Clingo/ASP solvers. Converts documents to logic programs for complex reasoning, legal document processing, and multi-turn inference.
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 "z3smt-mcp" as configured in NewJerseyStyle/plugin-logic-llm. Launched with z3smt-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.
NewJerseyStyle/plugin-logic-llm
MCP server Claude CodeCodexCursor +2
MCP server "pyke-mcp" as configured in NewJerseyStyle/plugin-logic-llm. Launched with pyke-mcp.
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.
NewJerseyStyle/plugin-logic-llm
Agent
Specialized agent for Answer Set Programming (ASP) with Clingo solver.
NewJerseyStyle/plugin-logic-llm
Agent
DMN (Decision Model and Notation) compliance validator for Prolog programs.
NewJerseyStyle/plugin-logic-llm
Agent
Agent for converting natural language documents to symbolic logic programs.
NewJerseyStyle/plugin-logic-llm
Agent
Specialized agent for First-Order Logic theorem proving with Vampire, E prover, and Prover9.
NewJerseyStyle/plugin-logic-llm
Agent
Specialized agent for Prolog-based logical reasoning and knowledge base management.
NewJerseyStyle/plugin-logic-llm
Agent
Specialized agent for Pyke-based forward/backward chaining inference in Python.
NewJerseyStyle/plugin-logic-llm
Agent
Agent for managing the predicate and rule registry, ensuring consistency and enabling code reuse.
NewJerseyStyle/plugin-logic-llm
Agent
Specialized agent for Z3/SMT constraint solving, theorem proving, and satisfiability checking.
NewJerseyStyle/plugin-logic-llm
Command
Display help information for Logic-LLM plugin commands and usage.
NewJerseyStyle/plugin-logic-llm
Hook
Runs after a tool call finishes for Write tool calls, executing detect-new-document.sh. From NewJerseyStyle/plugin-logic-llm.
NewJerseyStyle/plugin-logic-llm
Hook
Runs when a session starts, executing load-registry.sh. From NewJerseyStyle/plugin-logic-llm.
NewJerseyStyle/plugin-logic-llm
Skill Claude CodeCodex
Convert natural language documents into symbolic logic programs.
NewJerseyStyle/plugin-logic-llm
Skill Claude CodeCodex
Batch ingest documents into the symbolic knowledge base with automatic incremental updates.
NewJerseyStyle/plugin-logic-llm
Skill Claude CodeCodex
Query symbolic knowledge bases using natural language or formal logic syntax.
NewJerseyStyle/plugin-logic-llm
Skill Claude CodeCodex
Register and manage predicates, facts, and rules in the logic knowledge registry.
MCP server Claude CodeCodexCursor
MCP server for Z3/SMT solver - enables constraint solving and logical reasoning. Runs locally from the z3smt-mcp Python package.
MCP server Claude CodeCodexCursor
MCP server for First-Order Logic provers (Vampire, E). Runs locally from the folprover-mcp Python package.