MCPcopy Index your code
hub / github.com/cristian-mattarei/CoSA

github.com/cristian-mattarei/CoSA @0.3.1

Chat with this repo
repository ↗ · DeepWiki ↗ · release 0.3.1 ↗ · + Follow
831 symbols 3,115 edges 54 files 12 documented · 1%
What it actually does AI analysis from the code graph — generated when you open this
loading…

Core symbols most depended-on inside this repo

log
called by 168
cosa/utils/logger.py
args
called by 136
cosa/encoders/coreir.py
error
called by 110
cosa/utils/logger.py
join
called by 76
cosa/encoders/coreir.py
to_next
called by 65
cosa/representation.py
_add_assertion
called by 64
cosa/analyzers/mcsolver.py
level
called by 62
cosa/utils/logger.py
B2BV
called by 46
cosa/utils/formula_mngm.py

Shape

Method 672
Class 98
Function 61

Languages

Python100%

Modules by API surface

cosa/encoders/verilog_hts.py132 symbols
cosa/representation.py70 symbols
cosa/encoders/modules.py47 symbols
cosa/environment.py44 symbols
cosa/encoders/template.py38 symbols
cosa/analyzers/mcsolver.py32 symbols
cosa/encoders/symbolic_transition_system.py31 symbols
cosa/walkers/verilog_walker.py30 symbols
cosa/encoders/coreir.py30 symbols
cosa/printers/hts.py25 symbols
cosa/encoders/factory.py25 symbols
cosa/encoders/sugar.py24 symbols

For agents

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

⬇ download graph artifact

Ask about this repo answers extend the page