sahibzada-allahyar/YC-Killer

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

Open

#21 opened on Nov 2, 2025

View on GitHub
 (0 comments) (0 reactions) (0 assignees)TypeScript (126 forks)auto 404
area:infradiscord:mentorshipgood first issuehelp wantedsize:Stype:task

Repository metrics

Stars
 (2,780 stars)
PR merge metrics
 (PR metrics pending)

Description

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

Contributor guide

Research direction
Set up configuration files for ruff, mypy, pytest, and pre commit in each package directory. Integrate CI steps as defined in the issue matrix.
Tech stack
python
Domain
backenddevops
Issue type
Chore
DifficultyEstimated implementation difficulty for a new contributor, from 1 for very small changes to 5 for expert-level work.
2
Estimated timeA rough time range for an experienced contributor to investigate, implement, test, and prepare a pull request.
Half day
Activity statusHow available the issue appears right now: fresh, active, stale, blocked, or waiting on maintainer input.
Active
ClarityHow clearly the issue explains the expected change, acceptance criteria, and next step.
Clear
Prerequisites
PythonGit
Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.
80