Skip to content

pullrequests Search Results · language:Edge language:Python language:JavaScript language:Java language:JavaScript language:CSS

Filter by

191M results  (2 s)

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 작업 배경 - 경로 검색 결과가 이동 가능 여부와 점수는 알려주지만, 왜 해당 경로를 추천하는지 바로 이해하기 어려웠다. - 고령자, 임산부, 장애인 등 교통약자 사용자는 긴 설명보다 엘리베이터 , 계단 없음 처럼 짧은 판단 근거를 먼저 확인하는 흐름이 더 적합하다. - 안내 불가 경로에서는 추천 이유보다 차단 ...

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 ...