sahibzada-allahyar/YC-Killer

[Physics Copilot] E2-02 — Assumptions parser

Open

#30 opened on Nov 2, 2025

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

Repository metrics

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

Description

Summary Parse natural-language assumptions into normalized constraints for engines.

Repo Context

Acceptance Criteria

  • assume x>0, t∈ℝ → JSON constraints
  • Ineq/domains/≠ supported

Tasks

  • Small grammar parser
  • Serializer

Test Plan

  • 10 typical forms.

LOC & Simplicity Guardrails

Definition of Done

  • CI green, unit/integration tests added.
  • Docs updated.
  • Demo snippet or example under physics_copilot/examples/.

Contributor guide

Research direction
Implement a parser that converts natural language assumptions like 'assume x>0, t∈ℝ' into JSON constraints. Start by defining a simple grammar with tokens for inequalities, domains, and not equal operators. Use a parser library (e.g., nearley or chevrotain) or write a hand rolled parser. Then implement a serializer that outputs the JSON structure. Write tests for 10 typical forms and ensure CI passes.
Tech stack
typescript
Domain
backenddeveloper experience
Issue type
Feature
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.
Active
ClarityHow clearly the issue explains the expected change, acceptance criteria, and next step.
Clear
Prerequisites
TypeScript
Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.
60