MCPcopy Index your code
hub / github.com/eth-sri/eran

github.com/eth-sri/eran @main

Chat with this repo
repository ↗ · DeepWiki ↗ · + Follow
281 symbols 783 edges 26 files 115 documented · 41%
What it actually does AI analysis from the code graph — generated when you open this
loading…

Core symbols most depended-on inside this repo

normalize
called by 24
tf_verify/__main__.py
analyze_box
called by 22
tf_verify/eran.py
calc_bounds
called by 14
tf_verify/deeppoly_nodes.py
interpolate
called by 13
tf_verify/spatial/interpolation.py
add_input_output_information_deeppoly
called by 12
tf_verify/deeppoly_nodes.py
get_arguments
called by 12
tf_verify/deeppoly_nodes.py
add_bounds
called by 12
tf_verify/deepzono_nodes.py
add_input_output_information
called by 11
tf_verify/deepzono_nodes.py

Shape

Method 135
Function 97
Class 49

Languages

Python100%

Modules by API surface

tf_verify/deepzono_nodes.py55 symbols
tf_verify/deeppoly_nodes.py53 symbols
tf_verify/onnx_translator.py26 symbols
tf_verify/ai_milp.py19 symbols
tf_verify/__main__.py15 symbols
tf_verify/optimizer.py12 symbols
tf_verify/eranlayers.py11 symbols
tf_verify/analyzer.py11 symbols
tf_verify/tensorflow_translator.py10 symbols
tf_verify/read_net_file.py10 symbols
tf_verify/utils.py9 symbols
tf_verify/krelu.py8 symbols

For agents

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

⬇ download graph artifact