LICENSE
README.md
pyproject.toml
src/proof_engine_registry/__init__.py
src/proof_engine_registry/badge.py
src/proof_engine_registry/cli.py
src/proof_engine_registry/client.py
src/proof_engine_registry/config.py
src/proof_engine_registry/emit.py
src/proof_engine_registry/hashing.py
src/proof_engine_registry/problems.py
src/proof_engine_registry/schema.py
src/proof_engine_registry/server.py
src/proof_engine_registry.egg-info/PKG-INFO
src/proof_engine_registry.egg-info/SOURCES.txt
src/proof_engine_registry.egg-info/dependency_links.txt
src/proof_engine_registry.egg-info/entry_points.txt
src/proof_engine_registry.egg-info/requires.txt
src/proof_engine_registry.egg-info/top_level.txt
tests/test_badge.py
tests/test_cli.py
tests/test_client.py
tests/test_config.py
tests/test_conformance.py
tests/test_emit.py
tests/test_hashing.py
tests/test_problems.py
tests/test_schema.py
tests/test_server.py