MCPcopy Index your code
hub / github.com/HigherOrderCO-archive/kind2-archive

github.com/HigherOrderCO-archive/kind2-archive @main

Chat with this repo
repository ↗ · DeepWiki ↗ · + Follow
101 symbols 167 edges 16 files 44 documented · 44%
What it actually does AI analysis from the code graph — generated when you open this
loading…

Core symbols most depended-on inside this repo

parse_term
called by 48
src/term/parse.rs
shadow
called by 14
src/book/mod.rs
cons
called by 14
src/term/mod.rs
load
called by 8
src/book/mod.rs
strip_extension
called by 5
src/main.rs
load_book
called by 4
src/main.rs
generate_kindc
called by 2
src/main.rs
run_kindc
called by 2
src/main.rs

Shape

Method 74
Function 15
Class 7
Enum 5

Languages

Rust100%

Modules by API surface

src/sugar/mod.rs20 symbols
src/show/mod.rs15 symbols
src/term/mod.rs14 symbols
src/main.rs10 symbols
src/book/mod.rs9 symbols
src/book/parse.rs8 symbols
src/term/compile.rs7 symbols
src/term/parse.rs4 symbols
src/info/mod.rs3 symbols
src/book/compile.rs3 symbols
src/term/show.rs2 symbols
src/book/show.rs2 symbols

For agents

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

⬇ download graph artifact