agentmods.dev

NewJerseyStyle/plugin-logic-llm

Claude Code Plugin port for "LOGIC-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning"

Open on GitHub
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 RelevanceRecently updatedFewest tokensSecurity gradeRepo starsStars this weekTop rated 1 mods

logic-llm

01

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.

2 7mo ago A tokens not measured original MIT