Skills
.Work. You
Rest

nightly-testing

Community

Preserve a stable, discoverable nightly-testing slug.

Software Engineering#testing#reference#lean#upstream#nightly#mathlib4
Authorr-irbe
Version1.0.0
Installs0

System Documentation

What problem does it solve?

Preserves a stable, discoverable slug for the Lean/Mathlib nightly testing guidance while the authoritative content resides in an upstream reference document.

Core Features & Use Cases

  • Maintains the SKILL slug for SK-34 and redirects users to the upstream reference for details.
  • Provides clear cross-references and links to upstream materials.
  • Serves as a registry entry that points to the canonical upstream infrastructure notes.

Quick Start

Follow the upstream reference at references/upstream/lean-nightly-infrastructure.md for the latest nightly testing guidance.

Dependency Matrix

Required Modules

None required

Components

Standard package

💻 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: nightly-testing
Download link: https://github.com/r-irbe/proof-skills/archive/main.zip#nightly-testing

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 510,000+ vetted skills library on demand.