kebekus

Perfil de criador do GitHub

kebekus

Visão por repositório de 1 skills coletadas em 1 repositórios do GitHub.

github/kebekus maior repositório: ProjectVD

skills coletadas

1

repositórios

1

atualizado

2026-07-23

mapa de repositórios

Onde as skills estão

Principais repositórios por número de skills coletadas, com sua participação neste catálogo do criador e sua distribuição ocupacional.

1 skills · 2026-07-23

Desenvolvedores de software

1 categorias ocupacionais · 100% classificado

100%participação

explorador de repositórios

Repositórios e skills representativas

criador/repositório/skill

1 skills114atualizado 2026-07-23

100% do criador

skill

ocupação

descrição

atualizado

Desenvolvedores de software

Review Lean 4 / Mathlib files the way maintainer Jireh Loreaux (`j-loreaux`) would — checking naming conventions, proof style and tactics, attributes, formatting, docstrings, and API/design against patterns learned from 324 of his review comments on Stefan Kebekus's mathlib PRs. Auto-fixes mechanical issues, verifies tactic rewrites with `lake build`, and flags judgment calls in his voice. Use before submitting a mathlib PR, when cleaning up Lean files, or when the user runs /autoJireh.

Mostrando 1 de 1 repositórios

Todos os repositórios foram exibidos