NewJerseyStyle/plugin-logic-llm
Skill Claude CodeCodex
Convert natural language documents into symbolic logic programs.
2 7mo ago A 0 tokens
original MIT
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