NewJerseyStyle/plugin-logic-llm
Agent
DMN (Decision Model and Notation) compliance validator for Prolog programs.
2 7mo ago A 15 tokens
original MIT
fol-reasoner
02NewJerseyStyle/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 Pyke-based forward/backward chaining inference in Python.
2 7mo ago A 14 tokens
original MIT