issues Search Results · language:Dune language:JavaScript language:JavaScript language:Python language:Python language:Go
Filter by
46.4M results
Goal
We observed speculative reviewer findings. Now test harm: what happens if an agent acts on them?
Method
Use fixtures/false-positive-harm/.
1. Pick false-positive findings from prior review outputs. ...
Goal
PR 1758 had 0 review records. Find PRs with actual review/audit comments to estimate true-positive/false-positive rates
from existing artifacts.
Method
- Search accessible PRs in the repo for ...
Goal
Test the Mikhail claim that builder and verifier should differ, instead of assuming it.
Method
Use completed outputs from replay or issue-spec fixtures.
Compare:
- same-model self-review
...
Sanskrit Lexicon Correction Form History As of June 18, 2026 5 correction records, with 5 PENDING
Case 5: 06/17/2026 dict=AP, L=12402.004, hw=kuṭhāraḥ, user=srhodes old = kuṭhāraḥ, -rī + .-raḥ A tree. ...
daily-corrections
Goal
Current issue-spec result is one model/run. Repeat to estimate variance and avoid overfitting to one stochastic sample.
Method
- Use existing fixtures/issue-spec/.
- Run raw/spec forms across ...
Goal
Use the replay harness on a real product-code PR and compare intervention variants.
Variants
- control
- ship-check
- thin review
- ship-check + thin review
- gate-only if applicable ...
Goal
Find better replay targets than PR 1758. PR 1758 is workflow-doc-only; we need product-code PRs with observable
outcomes.
Selection criteria
Good PRs have:
- clear issue/spec/PR body
- local ...
Goal
Build the core harness: a reproducible sacrificial clone of a real repo with Mikhail-style workflow artifacts, so we can
replay known PRs/events with known outcomes and test whether interventions ...
Problem
The strongest workflow guidance lives in the bundled email-drafting skill, but coding agents often choose tools from MCP
tool descriptions, README examples, or remembered examples. The public ...

Learn how you can use GitHub Issues to plan and track your work.
Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub IssuesProTip! Restrict your search to the title by using the in:title qualifier.