Skip to content
Open-Source Registry

cargo / probatum

probatum 0.1.0

bitbison: clean, behavior clean, dependencies clean, posture not checked, pipeline clean, 1 of 1 jobs captured RisknoneVulnsnone
processes
159
operations
1.6K
packages
5
compiler runs
1
connections
0
job time
43s
capture
46 KB
records
3.7K
bytes / record
12.4

Write the contract, get the proof: compile behavioral intent into programs with machine-checkable proof certificates

Build behaviourcompiled and nothing more

10 downloads · MIT · published 2026-10-14 · source compilersformal-verificationproofstatic-analysisverification View on crates.io

Artifact

binary · retained · product · graph v2
1

Checks

12 of 12 clear
Build behavior✓✓✓✓✓✓✓
Supply chain✓✓✓✓
Pipeline✓

Detections

0

No detections

No abnormal activity detected across 1.6K flows.

Dependencies5Build behaviour
ld-linux-x86-64.so.2system library
libc.so.6system library
libgcc_s.so.1system library
libm.so.6system library
libmvec.so.1system library
Versions1RiskVulnsPublished
0.1.0nonenone4d ago

Raw data

capture
46 KB
records
3,718
bytes per record
12.4

Loading a sample of the capture

Want to see more? E-mail us at hello@bitbison.io about your use case.

1 of 1 jobs captured: build-test success · Generated 2026-10-16 · run ef7eb59b-4330-4334-952b-cc39ad9ab3c6

analysis 0.1.0 · 2026-10-15 · 244c7b2 · graph v2