---
title: Compression Theory Visualization
emoji: 📊
colorFrom: blue
colorTo: purple
sdk: docker
pinned: false
license: mit
---

# Compression Theory Visualization

Interactive Streamlit app for exploring theorem compression analysis results.

## Features

- **📝 Prompts Tab:** View agent system and task prompts (Profiler, Analyzer, Reproducer)
- **🔄 Trajectories Tab:** Inspect agent thinking steps and tool calls from evaluation runs
- **📊 Outputs Tab:** Browse distilled summaries, derived theorems, and analysis results across compression levels

## Running Locally

```bash
pip install -r requirements.txt
streamlit run streamlit_app.py
```

Visit `http://localhost:8501`

## Deployment

This app is designed for HF Spaces with Docker SDK. The `Dockerfile` handles all setup.

See `STREAMLIT_DEPLOYMENT.md` for detailed deployment instructions.