sahibzada-allahyar/YC-Killer

[Physics Copilot] E0-02 — Tooling (ruff, mypy, pytest, pre-commit) per package

Open

#21 aperta il 2 nov 2025

Vedi su GitHub
 (0 commenti) (0 reazioni) (0 assegnatari)TypeScript (126 fork)auto 404
area:infradiscord:mentorshipgood first issuehelp wantedsize:Stype:task

Metriche repository

Star
 (2780 star)
Metriche merge PR
 (Metriche PR in attesa)

Descrizione

Goal Configure quality tools consistently across packages.

Tools

  • ruff: Linting
  • mypy: Type checking
  • pytest: Testing with coverage
  • pre-commit: Git hooks

CI Integration

matrix:
  package: [physics_copilot, lean_proof_engine]
steps:
  - lint
  - type-check
  - test

Success Criteria

  • pre-commit hooks run
  • CI fails on lint errors
  • Coverage >80%

Estimated Time: 0.5 days

Guida contributor

Direzione di ricerca
Configura i file di configurazione per ruff, mypy, pytest e pre commit in ogni directory del pacchetto. Integra i passaggi CI come definito nella matrice del problema.
Tech stack
python
Dominio
backenddevops
Tipo issue
Manutenzione
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
2
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
Mezza giornata
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
PythonGit
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
80