pullrequests Search Results · language:Dune language:Python language:JavaScript language:JavaScript language:Python language:HTML
Filter by
176M results
Summary
- add custom motif verdict loading through ontology-check --motifs
- wire a cached formal oracle into 2B program-body search with formal_source provenance
- align Haskell syntax_memory admissibility ...
jawauntb
OKok-3Summary
- Move shared local repo-path parsing into code_mower.provider_runners.repo_paths.
- Update Codex and Claude audit wrappers to import the parser from the provider-runner layer.
- Add focused ...
jeffhuber
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
pull[bot]
A curated, reviewable list of recommended skills/plugins/MCPs for design work.
What
- docs/recommended-tools.md — canonical list (🧠 General / 🎨 Design / 🔍 Research), each a clean | Tool | Use when ...
sarahschachman
배경
OneRAG는 JapanRAG(일본어·웨딩 도메인 전용 프로덕션 포크)를 차용해 범용 OSS RAG로 만든 프로젝트입니다. 코드를 통째로 가져오다 보니 ① 일본어 문자열, ② 웨딩/예약업 도메인 가정, ③
origin 프로젝트의 사설 인프라 식별자까지 딸려왔습니다.
이 PR은 도메인-범용화 발견 스캔을 18차까지 반복(0건 수렴)하며, 위 잔재를 전부 ...
notadev-iamaura
Bumps vite from 8.0.14 to 8.0.16. details summary Release notes /summary p em Sourced from a href=
https://github.com/vitejs/vite/releases vite s releases /a . /em /p blockquote h2 v8.0.16 /h2 p Please ...
dependencies
frontend
dependabot[bot]
Vercel Web Analytics Implementation
Summary
Successfully installed and configured Vercel Web Analytics for this Django project using the CDN script injection
method.
What Was Implemented
1. Fetched ...
vercel[bot]
Bumps dompurify from 3.3.2 to 3.4.9. details summary Release notes /summary p em Sourced from a href=
https://github.com/cure53/DOMPurify/releases dompurify s releases /a . /em /p blockquote h2 DOMPurify ...
dependencies
javascript
Bumps node from 20-alpine to 26-alpine.
![Dependabot compatibility
score](https://dependabot-badges.githubapp.com/badges/compatibility_score?dependency-name=node package-manager=docker
previous-version=20-alpine ...
dependencies