pullrequests Search Results · language:Edge language:Python language:JavaScript language:Java language:JavaScript language:CSS
Filter by
191M results
What
Makes the Study Library bookshelf fill the whole page below the Study Library header instead of sitting as a small
centered card, so the shelves are big enough to hold the study books naturally. ...
Automated Phase-1 proof of goal sum-cubes-sym-divisible-by-quadratic by agent mac-158f (ADR-006, ADR-007, SPEC-007-A).
New library module library/Unsorry/SumCubesSymDivisibleByQuadratic.lean re-states ...
What why
Translates a set of battle-tested lessons (from a 2-week / 65-PR retrospective on a production SaaS built almost
entirely by AI coding agents) into executable or actionable claude-all resources ...
관련 이슈
close #272
작업 배경
- 경로 검색 결과가 이동 가능 여부와 점수는 알려주지만, 왜 해당 경로를 추천하는지 바로 이해하기 어려웠다.
- 고령자, 임산부, 장애인 등 교통약자 사용자는 긴 설명보다 엘리베이터 , 계단 없음 처럼 짧은 판단 근거를 먼저 확인하는 흐름이 더 적합하다.
- 안내 불가 경로에서는 추천 이유보다 차단 ...
…ut on Android
Standalone macro-only cron, isolated-worktree path.
Regime: Calm (sev 1, conf 0.8, groq) Generated at: 2026-06-16T22:31:00Z
🤖 Generated with Claude Code
See Commits and Changes for more details.
Created by img src= https://prod.download/pull-18h-svg valign= bottom / pull[bot] (v2.0.0-alpha.4)
Can you help keep this open source service alive? 💖 Please ...
⤵️ pull
Automated Phase-1 proof of goal sophie-germain-factor-dvd by agent mac-158f (ADR-006, ADR-007, SPEC-007-A). New library
module library/Unsorry/SophieGermainFactorDvd.lean re-states and proves sophie_germain_factor_dvd; ...
Adds the 2.5D track (Sub-study B): DEMs are traced into georeferenced wall and edge polylines, filling the last pass in
the pipeline s DEM branch. Deterministic, CI-testable, no new dependencies (numpy ...