hayagrivai-labs

hayagrivai-labs/sciproof

Record computational experiments and create machine-verifiable evidence: integrity hashes, opt-in re-execution and numerical tolerances. Local-first, no runtime dependencies.

38 good first / help-wanted issues · Python · last activity Oct 17, 2026

0 stars 0 forks 0 watchers Python MIT License
cli provenance python reproducibility reproducible-research scientific-computing
View on GitHub Website
38 Open Issues Need Help Last updated: Oct 17, 2026

Open Issues Need Help

View All on GitHub
Test the untested sections of sciproof diff (platform, env vars, git, kind change, numeric not comparable) 1 day ago
help wanted good first issue difficulty: easy testing mentor available
hayagrivai-labs/sciproof
0

Record computational experiments and create machine-verifiable evidence: integrity hashes, opt-in re-execution and numerical tolerances. Local-first, no runtime dependencies.

Python
#cli#provenance#python#reproducibility#reproducible-research#scientific-computing
record: show the end of the command's stderr when a run fails 1 day ago
enhancement help wanted good first issue difficulty: easy area: cli mentor available
hayagrivai-labs/sciproof
0

Record computational experiments and create machine-verifiable evidence: integrity hashes, opt-in re-execution and numerical tolerances. Local-first, no runtime dependencies.

Python
#cli#provenance#python#reproducibility#reproducible-research#scientific-computing
calibrate: --format json (machine-readable report) 1 day ago
enhancement help wanted good first issue difficulty: easy area: cli mentor available
hayagrivai-labs/sciproof
0

Record computational experiments and create machine-verifiable evidence: integrity hashes, opt-in re-execution and numerical tolerances. Local-first, no runtime dependencies.

Python
#cli#provenance#python#reproducibility#reproducible-research#scientific-computing
Tutorial: from a script to CI with record, verify and calibrate 1 day ago
documentation help wanted good first issue difficulty: easy area: docs
hayagrivai-labs/sciproof
0

Record computational experiments and create machine-verifiable evidence: integrity hashes, opt-in re-execution and numerical tolerances. Local-first, no runtime dependencies.

Python
#cli#provenance#python#reproducibility#reproducible-research#scientific-computing
record: declare a directory of stable outputs as one --output DIR instead of one flag per file 1 day ago
enhancement help wanted difficulty: medium area: cli needs design
hayagrivai-labs/sciproof
0

Record computational experiments and create machine-verifiable evidence: integrity hashes, opt-in re-execution and numerical tolerances. Local-first, no runtime dependencies.

Python
#cli#provenance#python#reproducibility#reproducible-research#scientific-computing
record: a file that the command reads and writes is declared as an output, with a meaningless tolerance (rtol=5), and the rerun fails 1 day ago
bug help wanted difficulty: medium area: cli mentor available
hayagrivai-labs/sciproof
0

Record computational experiments and create machine-verifiable evidence: integrity hashes, opt-in re-execution and numerical tolerances. Local-first, no runtime dependencies.

Python
#cli#provenance#python#reproducibility#reproducible-research#scientific-computing
Test the confirmation prompt: only 'yes' runs the command; EOF and Ctrl+C run nothing 1 day ago
help wanted good first issue difficulty: easy area: cli testing mentor available
hayagrivai-labs/sciproof
0

Record computational experiments and create machine-verifiable evidence: integrity hashes, opt-in re-execution and numerical tolerances. Local-first, no runtime dependencies.

Python
#cli#provenance#python#reproducibility#reproducible-research#scientific-computing
Markdown report: text from a manifest still produces links, @mentions, #references and emoji, although the module says "no links" 2 days ago
bug help wanted good first issue difficulty: easy area: ci testing mentor available
hayagrivai-labs/sciproof
0

Record computational experiments and create machine-verifiable evidence: integrity hashes, opt-in re-execution and numerical tolerances. Local-first, no runtime dependencies.

Python
#cli#provenance#python#reproducibility#reproducible-research#scientific-computing
Test the error paths of capture (missing claim output, duplicate paths, numeric directory, unwritable manifest) 2 days ago
help wanted good first issue difficulty: easy area: cli testing mentor available
hayagrivai-labs/sciproof
0

Record computational experiments and create machine-verifiable evidence: integrity hashes, opt-in re-execution and numerical tolerances. Local-first, no runtime dependencies.

Python
#cli#provenance#python#reproducibility#reproducible-research#scientific-computing
Tests for runner.py and suggest.py: process-tree timeout, outside files, .pyc mapping 2 days ago
help wanted difficulty: medium testing mentor available
hayagrivai-labs/sciproof
0

Record computational experiments and create machine-verifiable evidence: integrity hashes, opt-in re-execution and numerical tolerances. Local-first, no runtime dependencies.

Python
#cli#provenance#python#reproducibility#reproducible-research#scientific-computing
Test the verdict paths of verify --rerun that no test reaches (absent output, unusable snapshot, unparsable rerun output) 2 days ago
help wanted difficulty: medium testing mentor available
hayagrivai-labs/sciproof
0

Record computational experiments and create machine-verifiable evidence: integrity hashes, opt-in re-execution and numerical tolerances. Local-first, no runtime dependencies.

Python
#cli#provenance#python#reproducibility#reproducible-research#scientific-computing
Python API: capture_experiment(base=...) fails with AttributeError for a str; accept str | os.PathLike like the other functions 2 days ago
enhancement help wanted good first issue difficulty: easy mentor available
hayagrivai-labs/sciproof
0

Record computational experiments and create machine-verifiable evidence: integrity hashes, opt-in re-execution and numerical tolerances. Local-first, no runtime dependencies.

Python
#cli#provenance#python#reproducibility#reproducible-research#scientific-computing
`sciproof update` forgets `--max-log-bytes`: logs that were suppressed are stored again, and the diff says IDENTICAL 2 days ago
bug help wanted difficulty: medium area: cli mentor available
hayagrivai-labs/sciproof
0

Record computational experiments and create machine-verifiable evidence: integrity hashes, opt-in re-execution and numerical tolerances. Local-first, no runtime dependencies.

Python
#cli#provenance#python#reproducibility#reproducible-research#scientific-computing
Glob patterns for --input / --output / --output-numeric (expanded at capture time, recorded file by file) 2 days ago
enhancement help wanted difficulty: medium area: cli needs design
hayagrivai-labs/sciproof
0

Record computational experiments and create machine-verifiable evidence: integrity hashes, opt-in re-execution and numerical tolerances. Local-first, no runtime dependencies.

Python
#cli#provenance#python#reproducibility#reproducible-research#scientific-computing
Windows: capture and rerun cannot start .cmd/.bat tools by bare name (npm, mvn, your own tool.cmd) 2 days ago
bug help wanted difficulty: medium area: cli mentor available
hayagrivai-labs/sciproof
0

Record computational experiments and create machine-verifiable evidence: integrity hashes, opt-in re-execution and numerical tolerances. Local-first, no runtime dependencies.

Python
#cli#provenance#python#reproducibility#reproducible-research#scientific-computing
New policy rules: require a note and a hardware record 2 days ago
enhancement help wanted good first issue difficulty: easy area: policy mentor available
hayagrivai-labs/sciproof
0

Record computational experiments and create machine-verifiable evidence: integrity hashes, opt-in re-execution and numerical tolerances. Local-first, no runtime dependencies.

Python
#cli#provenance#python#reproducibility#reproducible-research#scientific-computing
Tutorial: recording a non-Python experiment (R, Julia or a shell pipeline) 4 days ago
documentation help wanted good first issue difficulty: easy area: docs
hayagrivai-labs/sciproof
0

Record computational experiments and create machine-verifiable evidence: integrity hashes, opt-in re-execution and numerical tolerances. Local-first, no runtime dependencies.

Python
#cli#provenance#python#reproducibility#reproducible-research#scientific-computing
Bug: --save-json and export -o crash with a traceback (exit status 1) when the path cannot be written 4 days ago
bug help wanted good first issue difficulty: easy area: cli mentor available
hayagrivai-labs/sciproof
0

Record computational experiments and create machine-verifiable evidence: integrity hashes, opt-in re-execution and numerical tolerances. Local-first, no runtime dependencies.

Python
#cli#provenance#python#reproducibility#reproducible-research#scientific-computing
Record a lockfile hash (uv.lock, poetry.lock, requirements.txt, conda-lock) with the environment 4 days ago
enhancement help wanted difficulty: medium needs design
hayagrivai-labs/sciproof
0

Record computational experiments and create machine-verifiable evidence: integrity hashes, opt-in re-execution and numerical tolerances. Local-first, no runtime dependencies.

Python
#cli#provenance#python#reproducibility#reproducible-research#scientific-computing
Record selected environment variables (for example OMP_NUM_THREADS, CUDA_VISIBLE_DEVICES) 4 days ago
enhancement help wanted difficulty: medium needs design
hayagrivai-labs/sciproof
0

Record computational experiments and create machine-verifiable evidence: integrity hashes, opt-in re-execution and numerical tolerances. Local-first, no runtime dependencies.

Python
#cli#provenance#python#reproducibility#reproducible-research#scientific-computing
Test that no CLI error path ends in a Python traceback 4 days ago
help wanted difficulty: medium area: cli testing mentor available
hayagrivai-labs/sciproof
0

Record computational experiments and create machine-verifiable evidence: integrity hashes, opt-in re-execution and numerical tolerances. Local-first, no runtime dependencies.

Python
#cli#provenance#python#reproducibility#reproducible-research#scientific-computing
Bug: a policy file saved with a UTF-8 BOM (Windows Notepad) gives a misleading TOML error 4 days ago
bug help wanted good first issue difficulty: easy area: policy mentor available
hayagrivai-labs/sciproof
0

Record computational experiments and create machine-verifiable evidence: integrity hashes, opt-in re-execution and numerical tolerances. Local-first, no runtime dependencies.

Python
#cli#provenance#python#reproducibility#reproducible-research#scientific-computing
Test coverage report in CI and a map of untested branches 4 days ago
help wanted difficulty: medium area: ci testing mentor available
hayagrivai-labs/sciproof
0

Record computational experiments and create machine-verifiable evidence: integrity hashes, opt-in re-execution and numerical tolerances. Local-first, no runtime dependencies.

Python
#cli#provenance#python#reproducibility#reproducible-research#scientific-computing
Faster hashing of large directory trees (measure first) 4 days ago
help wanted difficulty: hard performance needs design
hayagrivai-labs/sciproof
0

Record computational experiments and create machine-verifiable evidence: integrity hashes, opt-in re-execution and numerical tolerances. Local-first, no runtime dependencies.

Python
#cli#provenance#python#reproducibility#reproducible-research#scientific-computing
Property-based tests for the strict JSON and policy parsers 4 days ago
help wanted difficulty: medium testing mentor available
hayagrivai-labs/sciproof
0

Record computational experiments and create machine-verifiable evidence: integrity hashes, opt-in re-execution and numerical tolerances. Local-first, no runtime dependencies.

Python
#cli#provenance#python#reproducibility#reproducible-research#scientific-computing
SARIF output for GitHub code scanning (verify --format sarif) 4 days ago
enhancement help wanted difficulty: medium area: ci needs design
hayagrivai-labs/sciproof
0

Record computational experiments and create machine-verifiable evidence: integrity hashes, opt-in re-execution and numerical tolerances. Local-first, no runtime dependencies.

Python
#cli#provenance#python#reproducibility#reproducible-research#scientific-computing
Pre-commit hook: check all manifests before a commit 4 days ago
enhancement help wanted good first issue difficulty: easy area: ci
hayagrivai-labs/sciproof
0

Record computational experiments and create machine-verifiable evidence: integrity hashes, opt-in re-execution and numerical tolerances. Local-first, no runtime dependencies.

Python
#cli#provenance#python#reproducibility#reproducible-research#scientific-computing
Shell completion for bash, zsh and fish 4 days ago
enhancement help wanted good first issue difficulty: easy area: cli
hayagrivai-labs/sciproof
0

Record computational experiments and create machine-verifiable evidence: integrity hashes, opt-in re-execution and numerical tolerances. Local-first, no runtime dependencies.

Python
#cli#provenance#python#reproducibility#reproducible-research#scientific-computing
Numeric comparison of .npz archives (NumPy extra) 4 days ago
enhancement help wanted difficulty: medium area: numeric mentor available
hayagrivai-labs/sciproof
0

Record computational experiments and create machine-verifiable evidence: integrity hashes, opt-in re-execution and numerical tolerances. Local-first, no runtime dependencies.

Python
#cli#provenance#python#reproducibility#reproducible-research#scientific-computing
Numeric comparison for tab-separated (.tsv) files 4 days ago
enhancement help wanted good first issue difficulty: easy area: numeric mentor available
hayagrivai-labs/sciproof
0

Record computational experiments and create machine-verifiable evidence: integrity hashes, opt-in re-execution and numerical tolerances. Local-first, no runtime dependencies.

Python
#cli#provenance#python#reproducibility#reproducible-research#scientific-computing
docs: README still says manifests are not signed and lists finished work as roadmap 4 days ago
documentation help wanted good first issue difficulty: easy area: docs
hayagrivai-labs/sciproof
0

Record computational experiments and create machine-verifiable evidence: integrity hashes, opt-in re-execution and numerical tolerances. Local-first, no runtime dependencies.

Python
#cli#provenance#python#reproducibility#reproducible-research#scientific-computing
Design discussion: signing / timestamping manifests 7 days ago
enhancement help wanted
hayagrivai-labs/sciproof
0

Record computational experiments and create machine-verifiable evidence: integrity hashes, opt-in re-execution and numerical tolerances. Local-first, no runtime dependencies.

Python
#cli#provenance#python#reproducibility#reproducible-research#scientific-computing
Add a tutorial for a NumPy/pandas experiment 7 days ago
documentation good first issue
hayagrivai-labs/sciproof
0

Record computational experiments and create machine-verifiable evidence: integrity hashes, opt-in re-execution and numerical tolerances. Local-first, no runtime dependencies.

Python
#cli#provenance#python#reproducibility#reproducible-research#scientific-computing
Research: export a manifest as an RO-Crate (Process Run Crate) 7 days ago
documentation help wanted
hayagrivai-labs/sciproof
0

Record computational experiments and create machine-verifiable evidence: integrity hashes, opt-in re-execution and numerical tolerances. Local-first, no runtime dependencies.

Python
#cli#provenance#python#reproducibility#reproducible-research#scientific-computing
Numerical comparison of .npy / .npz files (optional NumPy extra) 7 days ago
enhancement help wanted
hayagrivai-labs/sciproof
0

Record computational experiments and create machine-verifiable evidence: integrity hashes, opt-in re-execution and numerical tolerances. Local-first, no runtime dependencies.

Python
#cli#provenance#python#reproducibility#reproducible-research#scientific-computing
Support directory outputs (hash a whole directory tree) 7 days ago
enhancement help wanted
hayagrivai-labs/sciproof
0

Record computational experiments and create machine-verifiable evidence: integrity hashes, opt-in re-execution and numerical tolerances. Local-first, no runtime dependencies.

Python
#cli#provenance#python#reproducibility#reproducible-research#scientific-computing
Add macOS to the CI matrix and fix anything that breaks 7 days ago
help wanted good first issue
hayagrivai-labs/sciproof
0

Record computational experiments and create machine-verifiable evidence: integrity hashes, opt-in re-execution and numerical tolerances. Local-first, no runtime dependencies.

Python
#cli#provenance#python#reproducibility#reproducible-research#scientific-computing
Add --json output to 'sciproof verify' 7 days ago
enhancement good first issue
hayagrivai-labs/sciproof
0

Record computational experiments and create machine-verifiable evidence: integrity hashes, opt-in re-execution and numerical tolerances. Local-first, no runtime dependencies.

Python
#cli#provenance#python#reproducibility#reproducible-research#scientific-computing