NewJerseyStyle

NewJerseyStyle/plugin-logic-llm

Plugin Claude Code

Bundles 4 skills, 1 command, 2 hooks, 6 MCP servers · 0 tokens together

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/z3smt-mcp

MCP server Claude CodeCodexCursor +2

MCP server for Z3/SMT solver - enables constraint solving and logical reasoning. Runs locally from the z3smt-mcp Python package.

NewJerseyStyle/folprover-mcp

MCP server Claude CodeCodexCursor +2

MCP server for First-Order Logic provers (Vampire, E). Runs locally from the folprover-mcp Python package.

NewJerseyStyle/pyke-mcp

MCP server Claude CodeCodexCursor +2

MCP server for Pyke logic programming engine. Runs locally from the pyke-mcp Python package.

NewJerseyStyle/elisa-mcp

MCP server Claude CodeCodexCursor +2

A Model Context Protocol (MCP) server for the ELIZA chatbot. Runs locally from the eliza-mcp npm package.