mattrobball

Repository-level view of 1 collected skills across 1 GitHub repositories.

skills collected

repositories

updated

2026-04-01

repository map

Where the skills live

Top repositories by collected skill count, with their share of this creator catalog and occupation spread.

repository explorer

creator/repo/skill

skill

occupation

description

updated

Improve Lean proofs: style, readability, and golfing. Use when asked to improve, golf, compress, shorten, or clean up Lean proofs.

Showing 1 of 1 repositories

All repositories loaded