Search Mathlib for lemmas by type signature pattern
Install
The individual skill folder is not confirmed. This command opens the repository’s skill selector; follow the upstream instructions.
skills CLI
npx skills add parcadei/Continuous-Claude-v3Loogle Search
parcadei
Related
More- CCreate Draft PrMicrosoftOfficialCreate a draft pull request for the current session. Use when the user wants to open a draft PR with the session's changes.Other194.2k Repository stars
- CCreate PrMicrosoftOfficialCreate a pull request for the current session. Use when the user wants to open a PR with the session's changes.Other194.2k Repository stars
- HHeap Snapshot AnalysisMicrosoftOfficialAnalyze V8 heap snapshots to investigate memory leaks and retention issues. Use when given .heapsnapshot files, asked to compare before/after snapshots, asked to find what retains objects, or investigating why objects survive GC. Provides snapshot parsing, comparison, retainer-path helpers, and scratchpad scripts.Other194.2k Repository stars
- SSync UpstreamMicrosoftOfficialUpdate a stale session branch by rebasing onto the latest origin. Use when the upstream has moved significantly and the session needs to catch up, resolving conflicts by preserving upstream changes and adapting session work to fit.Other194.2k Repository stars
- EEffortGoogleOfficialEstimates the implementation effort required to address the given issue.Other107.5k Repository stars
- SSpec GeneratorGoogleOfficialGenerates a structured Workable Spec JSON to guide a Developer Worker.Other107.5k Repository stars