hub / github.com/WilfredTA/ser

github.com/WilfredTA/ser @main

Chat with this repo

repository ↗ · DeepWiki ↗ · + Follow

298 symbols 714 edges 25 files 13 documented · 4%

What it actually does AI analysis from the code graph — generated when you open this

loading…

Extension points exported contracts — how you extend this code

MachineComponent (Interface)

(no doc) [5 implementers]

src/traits.rs

SymbolicValue (Interface)

(no doc) [1 implementers]

src/smt/mod.rs

MachineState (Interface)

(no doc) [1 implementers]

src/traits.rs

Machine (Interface)

(no doc) [1 implementers]

src/traits.rs

MachineInstruction (Interface)

(no doc) [1 implementers]

Core symbols most depended-on inside this repo

src/conversion/mod.rs

byte_size

called by 83

src/instruction/mod.rs

src/smt/bitvec/mod.rs

Shape

Method 135

Function 120

Class 26

Enum 10

Interface 7

Languages

Rust100%

Modules by API surface

src/instruction/mod.rs58 symbols

src/machine.rs34 symbols

src/state/tree.rs27 symbols

src/parser.rs25 symbols

src/state/env.rs19 symbols

src/storage.rs16 symbols

src/state/context.rs16 symbols

src/exec/mod.rs13 symbols

src/memory.rs12 symbols

src/record.rs11 symbols

src/state/evm.rs10 symbols

src/stack.rs10 symbols

For agents

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

⬇ download graph artifact