Help maintainers and platform owners roll ProofKit out in real repositories and automation.

Covers

• Packaging and installation choices
• Git hooks and CI usage
• Release checks and publishing
• Operational troubleshooting

Language pages

Use the EN or ES subpage for the full walkthrough.

EN

ES