MCPcopy Index your code
hub / github.com/ammkrn/nanoda

github.com/ammkrn/nanoda @main

Chat with this repo
repository ↗ · DeepWiki ↗ · + Follow
336 symbols 1,056 edges 16 files 66 documented · 20%
What it actually does AI analysis from the code graph — generated when you open this
loading…

Core symbols most depended-on inside this repo

push
called by 51
src/utils.rs
as_ref
called by 39
src/name.rs
concat
called by 38
src/pretty/components.rs
fold_apps
called by 32
src/expr.rs
instantiate
called by 29
src/expr.rs
get
called by 26
src/expr.rs
parens
called by 25
src/pretty/components.rs
as_ref
called by 21
src/expr.rs

Shape

Method 233
Function 64
Class 27
Enum 12

Languages

Rust100%

Modules by API surface

src/expr.rs55 symbols
src/pretty/pretty_printer.rs45 symbols
src/tc.rs34 symbols
src/pretty/components.rs30 symbols
src/parser.rs28 symbols
src/level.rs28 symbols
src/inductive.rs20 symbols
src/errors.rs20 symbols
src/env.rs20 symbols
src/reduction.rs15 symbols
src/utils.rs14 symbols
src/name.rs10 symbols

For agents

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

⬇ download graph artifact