ARCHITECTURE.md
CLAUDE_INTEGRATION.md
LICENSE
MANIFEST.in
PROLOG_POOLING.md
README.md
USAGE_GUIDE.md
pyproject.toml
examples/README_CONTRACT_EXAMPLES.md
examples/constitution.txt
examples/constitution_sample.py
examples/contract_analysis.py
examples/contract_llm_analysis.py
examples/contract_sample.txt
examples/edit_guardrails_demo.py
examples/inprocess_edit_verifier.py
examples/mqi_session_example.py
examples/pool_benchmark.py
examples/program_analysis_sample.py
examples/program_sample.py
examples/sample.py
examples/puzzles/complex_pet_facts.json
examples/puzzles/complex_pet_puzzle.txt
examples/puzzles/simple_pet_facts.json
examples/puzzles/simple_pet_puzzle.txt
scripts/logic_server
scripts/logic_server_mcp
src/logic_server/__init__.py
src/logic_server/cli/__init__.py
src/logic_server/cli/main.py
src/logic_server/core/__init__.py
src/logic_server/core/formatting.py
src/logic_server/core/mqi_solver.py
src/logic_server/core/prolog_pool.py
src/logic_server/core/schema.py
src/logic_server/core/session.py
src/logic_server/core/solver.py
src/logic_server/llm/__init__.py
src/logic_server/llm/clients.py
src/logic_server/mcp/__init__.py
src/logic_server/mcp/server.py
src/logic_server/mcp/stateful.py
src/prolog_logic_server.egg-info/PKG-INFO
src/prolog_logic_server.egg-info/SOURCES.txt
src/prolog_logic_server.egg-info/dependency_links.txt
src/prolog_logic_server.egg-info/entry_points.txt
src/prolog_logic_server.egg-info/requires.txt
src/prolog_logic_server.egg-info/top_level.txt