NewJerseyStyle/plugin-logic-llm
Agent
Specialized agent for Answer Set Programming (ASP) with Clingo solver.
2 7mo ago A 14 tokens
original MIT
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
NewJerseyStyle/plugin-logic-llm
Agent
DMN (Decision Model and Notation) compliance validator for Prolog programs.
2 7mo ago A 15 tokens
original MIT
NewJerseyStyle/plugin-logic-llm
Agent
Agent for converting natural language documents to symbolic logic programs.
2 7mo ago A 10 tokens
original MIT
fol-reasoner
04NewJerseyStyle/plugin-logic-llm
Agent
Specialized agent for First-Order Logic theorem proving with Vampire, E prover, and Prover9.
2 7mo ago A 20 tokens
original MIT
NewJerseyStyle/plugin-logic-llm
Agent
Specialized agent for Prolog-based logical reasoning and knowledge base management.
2 7mo ago A 13 tokens
original MIT
NewJerseyStyle/plugin-logic-llm
Agent
Specialized agent for Pyke-based forward/backward chaining inference in Python.
2 7mo ago A 14 tokens
original MIT
NewJerseyStyle/plugin-logic-llm
Agent
Agent for managing the predicate and rule registry, ensuring consistency and enabling code reuse.
2 7mo ago A 15 tokens
original MIT
z3-reasoner
08NewJerseyStyle/plugin-logic-llm
Agent
Specialized agent for Z3/SMT constraint solving, theorem proving, and satisfiability checking.
2 7mo ago A 20 tokens
original MIT