logic-llm
01NewJerseyStyle/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.
not rated 2 8mo ago A
tokens not measured
original MIT