sahibzada-allahyar/YC-Killer

[Physics Copilot] E0-01 — Create root-level `physics_copilot/` and `lean_proof_engine/`

Open

#20 opened on Nov 2, 2025

View on GitHub
 (0 comments) (0 reactions) (0 assignees)TypeScript (126 forks)auto 404
area:infrahelp wantedsize:Stype:task

Repository metrics

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

Description

Goal Establish two root-level packages with proper Python project structure.

Directory Structure

YC-Killer/
├── physics_copilot/
│   ├── pyproject.toml
│   ├── Makefile
│   ├── backend/
│   ├── adapters/
│   ├── ui/
│   ├── runs/
│   └── tests/
└── lean_proof_engine/
    ├── pyproject.toml
    ├── engine/
    ├── cli/
    └── tests/

Dependencies

  • FastAPI, uvicorn, pydantic
  • httpx, redis
  • pytest, ruff, mypy

Success Criteria

  • Both packages import cleanly
  • make dev starts services
  • CI runs for both packages

Estimated Time: 1 day

Contributor guide

Research direction
Create the two directories with the specified subdirectories and minimal pyproject.toml files, then verify imports work and `make dev` runs. Refer to the existing project structure for consistency.
Tech stack
python
Domain
backend
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.
1-2 days
Activity statusHow available the issue appears right now: fresh, active, stale, blocked, or waiting on maintainer input.
Fresh
ClarityHow clearly the issue explains the expected change, acceptance criteria, and next step.
Clear
Prerequisites
GitPython
Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.
70