hub / github.com/aeyakovenko/percolator

github.com/aeyakovenko/percolator @main

Chat with this repo

repository ↗ · DeepWiki ↗ · + Follow

1,303 symbols 4,830 edges 13 files 80 documented · 6%

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

MarketWrapperPod (Interface)

(no doc) [2 implementers]

src/v16.rs

MarketSlotV16View (Interface)

(no doc) [2 implementers]

src/v16.rs

MarketSlotV16ViewMut (Interface)

(no doc) [2 implementers]

src/v16.rs

Core symbols most depended-on inside this repo

one_market_view_fixture

Shape

Function 650

Method 555

Class 74

Enum 21

Interface 3

Languages

Rust100%

Modules by API surface

src/v16.rs574 symbols

tests/proofs_v16.rs246 symbols

src/wide_math.rs130 symbols

src/v16_kani_api.rs130 symbols

src/v16_proofs.rs94 symbols

tests/v16_spec_tests.rs73 symbols

tests/reference_model_conformance.rs24 symbols

tests/proofs_v16_arithmetic.rs12 symbols

tests/backing_double_claim_fuzz.rs9 symbols

tests/v16_fuzzing.rs6 symbols

tests/resolved_insolvent_fuzz.rs3 symbols

tests/rounding_residue_fuzz.rs2 symbols

For agents

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

⬇ download graph artifact

github.com/aeyakovenko/percolator @main

Extension points exported contracts — how you extend this code

Core symbols most depended-on inside this repo

Shape

Languages

Modules by API surface

For agents

Ask about this repo answers extend the page