Paper-to-Spec Compiler
CommunityTurn papers into executable specs
Authorsovr610
Version1.0.0
Installs0
System Documentation
What problem does it solve?
The Paper-to-Spec Compiler automatically converts academic papers into machine-readable executable specifications, enabling reproducibility and drift detection across research codebases.
Core Features & Use Cases
- Extracts symbols, constants, and structural choices from papers and emits a canonical spec.yaml, a human-readable spec.md, and a drift report.
- Generates compliance tests, a spec.lock.json payload, and traceable provenance links for traceability back to the source paper.
- Supports baseline linking via imports and deterministic artifact generation from arXiv sources (LaTeX, PDF, HTML).
Quick Start
Provide an arXiv ID to fetch a paper and run the compiler to generate spec.yaml, spec.md, tests, and drift reports.
Dependency Matrix
Required Modules
requestspyyamlpydantic
Components
scriptsreferences
💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: Paper-to-Spec Compiler Download link: https://github.com/sovr610/refffiy/archive/main.zip#paper-to-spec-compiler Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.