paper-badger is an open-source CLI tool that automates the extraction of theorems from research papers, runs Lean formalization checks, and inserts verified badges into LaTeX documents. It is designed for researchers and academics working on formal verification and reproducibility in scientific publishing.
paper-badger sits in PulseGate's Other dev tools category. It focuses on automating the extraction and verification of theorems in research papers to streamline formalization workflows. paper-badger is an open-source project aimed at researchers. The project is open source (Apache-2.0). The product ships for the web and the command line.
Behind paper-badger is BioDisCo, and the product first shipped in 2026. Across PulseGate's embedding index, paper-badger has few near neighbours, marking it as relatively distinct. Among its 5 catalogued features are theorem extraction, lean integration, and badge insertion.
Latest indexed changes and source events
Other apps tracked under the same category.
