logic-llm

Listed

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

plugin 2 stars 0 forks Updated 4 months ago MIT

Install

Plugins install via a marketplace, in two steps.

This plugin isn't listed in a marketplace we've indexed. Install it directly from its GitHub repository — the README has the setup steps.

View on GitHub

Bundles

Everything this plugin ships — skills, agents, commands, hooks, and MCP servers it bundles.

Agents (15)

./agents/clingo-reasoner.md ./agents/document-converter.md ./agents/fol-reasoner.md ./agents/prolog-reasoner.md ./agents/pyke-reasoner.md ./agents/registry-manager.md ./agents/z3-reasoner.md clingo-reasoner.md dmn-validator.md document-converter.md fol-reasoner.md prolog-reasoner.md pyke-reasoner.md registry-manager.md z3-reasoner.md

Commands (1)

logic-help.md

Hooks (1)

hooks.json

Quality Score: 45/100

Stars 20%

Recency 20%

Manifest 20%

Documentation 15%

Issue Health 10%

License 10%

100

Description 5%

100

Details

Author: NewJerseyStyle
Repository: NewJerseyStyle/plugin-logic-llm
Created: 4 months ago
Last Updated: 4 months ago
Language: JavaScript
License: MIT