# isaacsight/provenance-substrate

Source: https://glimind.com/server/github%2Fisaacsight%2Fprovenance-substrate
Registry id: `github/isaacsight/provenance-substrate`
Status: unknown

## Tools (13)

- `bench_run`: Run a benchmark
- `bench_score`: Score a benchmark answer
- `bench_taskset`: Get a benchmark task set
- `claims_badge`: Generate a badge for a verified claim
- `claims_verify`: Verify a claim by re-executing computation
- `finance_prepare_post`: Prepare a finance post for approval
- `finance_reconcile`: Reconcile a finance claim against a bank feed
- `lean_check`: Check a Lean proof
- `lean_prepare`: Prepare a Lean proof for approval
- `repro_dataset_manifest`: Generate a dataset manifest for reproduction
- `repro_judge`: Judge a reproduction attempt against tolerances
- `review_chain_verify`: Verify a review chain
- `review_check`: Check a peer review for compliance

Measured by Glimind (https://glimind.com): MCP handshake + tool list only, no tool is ever called. CC BY 4.0.