issues Search Results · language:Edge language:Python language:JavaScript language:JavaScript language:JavaScript linked:pr
Filter by
4.5M results
Strategic goal
Make generated profile repos easy to keep healthy after they leave this template. Reusable CI helps adoption because
users can copy a trusted validation workflow.
Use case
A developer ...
area:ci
area:discovery
area:quality
bounty
bounty:0.25 SOL
enhancement
help wanted
Strategic goal
Give profile authors a visible quality signal they can share in READMEs, PRs, and release notes.
Use case
A maintainer wants to know whether a generated profile is publishable. The current ...
area:ci
area:discovery
area:quality
bounty
bounty:0.25 SOL
enhancement
help wanted
Strategic goal
Reduce friction for first-time authors. A guided wizard makes the template feel like a product, not only a file
scaffold.
Use case
A developer wants to create a profile but does not know ...
area:cli
area:discovery
bounty
bounty:0.25 SOL
enhancement
help wanted
Strategic goal
Make the template easier to understand from GitHub search, README browsing, and external links by showing concrete
generated profiles instead of only template mechanics.
Use case
A developer ...
area:discovery
area:examples
bounty
bounty:0.25 SOL
enhancement
help wanted
Problem Statement
When crawling a careers platform, the id field is not being extracted from job postings. All extracted jobs in
data/extracted_jobs/_jobs.json have id: null, despite the job ID being ...
bug
Reason or Problem
from_template(name, resolution=r) does not honor the requested resolution exactly. It keeps the template s bounding box
fixed, divides it by the resolution, rounds the cell count to ...
enhancement
Found by the #392 smt.py soundness audit. Parent: #392.
The bug
Divisions appearing in contract predicates (requires/ensures/assert) get no div_zero obligation — #680 s div_zero
obligations cover body ...
verification
Python
Span First
Spans
Problem
Prod launch smoke shows the payload-size fix worked, but backend latency is still high:
- GET /api/workers?shape=list: 200, ~14s, ~45 KB
- GET /api/workers: 200, ~15s, ~85 KB
- GET /api/contexts: ...
Problem
Dogfood shows that the agent-facing first-move policy still treats agent recall as the default entrypoint even when the
user is clearly asking for exact/original wording and already provides distinctive ...

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.