NewJerseyStyle/plugin-logic-llm
Skill Claude CodeCodex
Convert natural language documents into symbolic logic programs.
2 7mo ago A 0 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
logic-ingest
02NewJerseyStyle/plugin-logic-llm
Skill Claude CodeCodex
Batch ingest documents into the symbolic knowledge base with automatic incremental updates.
2 7mo ago A 0 tokens
original MIT
logic-query
03NewJerseyStyle/plugin-logic-llm
Skill Claude CodeCodex
Query symbolic knowledge bases using natural language or formal logic syntax.
2 7mo ago A 0 tokens
original MIT
NewJerseyStyle/plugin-logic-llm
Skill Claude CodeCodex
Register and manage predicates, facts, and rules in the logic knowledge registry.
2 7mo ago A 0 tokens
original MIT