Provable Things Limited

Exposes the bridge's HTTP web interface

Testing environment for bast files

Provides all the required dependencies for vanilla base components (i.e. setup)

Base image for the pTokens application layer.

Deterministically reproduce pTokens Android apps

Recreate the strongbox environment in order to build pTokens strongbox based apps

A fork to https://github.com/bats-core/bats-core repository.

Contains a bytecode generator for easy bytecode creation with custom constructor arguments

pTokens nitro environment

Deterministically reproduce pTokens Android apps.

Verifies the proofs returned by the given set of bridges.

Recreate the expected environment to build pTokens Android apps.

Verify that the source code of two compiled APKs matches

Litecore node with insight-lite-api preinstalled.

Dash node

Setup the android SDK with every requirement needed to build the resulting APK.

Provable CI for ethereum