MCPcopy Index your code
hub / github.com/adamchalmers/carroll

github.com/adamchalmers/carroll @main

Chat with this repo
repository ↗ · DeepWiki ↗ · + Follow
108 symbols 349 edges 8 files 24 documented · 22%
What it actually does AI analysis from the code graph — generated when you open this
loading…

Core symbols most depended-on inside this repo

eval
called by 59
nodes.py
parse
called by 20
parsing.py
truth_table
called by 12
truthtable.py
meaning_of
called by 11
symbols.py
all_equal
called by 8
truthtable.py
equivalent
called by 8
truthtable.py
print_sat_info
called by 7
truthtable.py
find_atoms
called by 5
truthtable.py

Shape

Function 79
Method 19
Class 10

Languages

Python100%

Modules by API surface

nodes.py42 symbols
truthtable.py27 symbols
parsing.py19 symbols
normal_forms.py7 symbols
carroll.py6 symbols
proofs.py5 symbols
symbols.py2 symbols

For agents

$ claude mcp add carroll \
  -- python -m otcore.mcp_server <graph>

⬇ download graph artifact