MCPcopy Index your code
hub / github.com/StanfordASL/neural-network-lyapunov

github.com/StanfordASL/neural-network-lyapunov @main

Chat with this repo
repository ↗ · DeepWiki ↗ · + Follow
1,699 symbols 4,680 edges 121 files 476 documented · 28%
What it actually does AI analysis from the code graph — generated when you open this
loading…

Core symbols most depended-on inside this repo

addVars
called by 219
neural_network_lyapunov/gurobi_torch_mip.py
clone
called by 128
neural_network_lyapunov/gurobi_torch_mip.py
load
called by 86
neural_network_lyapunov/dynamics_learning.py
step_forward
called by 84
neural_network_lyapunov/examples/car/unicycle.py
setObjective
called by 69
neural_network_lyapunov/gurobi_torch_mip.py
addMConstr
called by 65
neural_network_lyapunov/gurobi_torch_mip.py
addLConstr
called by 58
neural_network_lyapunov/gurobi_torch_mip.py
add_mixed_integer_linear_constraints
called by 56
neural_network_lyapunov/gurobi_torch_mip.py

Shape

Method 1,171
Function 299
Class 229

Languages

Python100%

Modules by API surface

neural_network_lyapunov/test/test_utils.py101 symbols
neural_network_lyapunov/relu_system.py63 symbols
neural_network_lyapunov/test/test_relu_to_optimization.py55 symbols
neural_network_lyapunov/test/test_lyapunov.py52 symbols
neural_network_lyapunov/test/test_hybrid_linear_system.py52 symbols
neural_network_lyapunov/test/test_gurobi_torch_mip.py51 symbols
neural_network_lyapunov/utils.py48 symbols
neural_network_lyapunov/test/test_relu_system.py48 symbols
neural_network_lyapunov/test/test_mip_utils.py46 symbols
neural_network_lyapunov/r_options.py40 symbols
neural_network_lyapunov/gurobi_torch_mip.py40 symbols
neural_network_lyapunov/dynamics_learning.py40 symbols

For agents

$ claude mcp add neural-network-lyapunov \
  -- python -m otcore.mcp_server <graph>

⬇ download graph artifact

Ask about this repo answers extend the page