Proofscape is implemented in a number of different software components, each of which is open-source, and invites contributions.
pise-server: The language compiler, as well as server side of the PISE web app
sphinx-proofscape: Sphinx extension for Proofscape annotations
displaylang: The language for writing displays in example explorers
pfsc-util: Miscelaneous utility functions and classes
pise-manage: Tooling for PISE development