hub / github.com/advancedresearch/pocket_prover

github.com/advancedresearch/pocket_prover @main

Chat with this repo

repository ↗ · DeepWiki ↗ · + Follow

218 symbols 519 edges 31 files 161 documented · 74% ● updated 21mo ago★ 4410 open issues

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

CoreRules (Interface)

Implemented by logical systems to define core rules. [10 implementers]

src/lib.rs

ExtendRules (Interface)

Implemented by logical systems to extend existing ones. [11 implementers]

src/lib.rs

Construct (Interface)

Used to construct logical systems. [10 implementers]

src/lib.rs

Observable (Interface)

Implemented by observables. [2 implementers]

src/lib.rs

Enumerable (Interface)

Implemented by types to use with `all` and `any`. [2 implementers]

src/lib.rs

Core symbols most depended-on inside this repo

pocket_prover-derive/src/lib.rs

Shape

Function 188

Method 21

Interface 7

Class 2

Languages

Rust100%

Modules by API surface

src/lib.rs171 symbols

examples/molecule.rs8 symbols

pocket_prover-derive/tests/lib.rs6 symbols

src/extract.rs3 symbols

examples/quality_creation_theorem.rs3 symbols

pocket_prover-derive/src/lib.rs2 symbols

examples/vars.rs1 symbols

examples/socrates.rs1 symbols

examples/qubit.rs1 symbols

examples/quantifiers.rs1 symbols

examples/quality_ty_uniq.rs1 symbols

examples/quality_ty_differ.rs1 symbols

For agents

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

⬇ download graph artifact

github.com/advancedresearch/pocket_prover @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