issues Search Results · language:Dune language:JavaScript language:JavaScript language:PHP language:HTML language:Python
Filter by
53.1M results
Story points: 5
Scope
A test_cad_program() tool: the agent writes a short CadQuery script (e.g. Extrude Sketch A, Cut Profile B), runs it
against the OpenCascade/CadQuery kernel, and gets back two metrics ...
enhancement
sp:5
story
Story points: 5
Scope
A Feature Extractor tool the reverse-engineer agent calls on a raw target mesh to get a structured list of candidate
sketch profiles, slicing planes, and revolution axis vectors ...
enhancement
sp:5
story
Surfaced (and ruled NOT a #880 bug) by the #880 investigation while diagnosing the s5 test.
The property (intended)
The ingest drain is a strictly serial, single-flight, sole-writer pipeline: drain_loop ...
Context
PEBS is a research code release for ICML 2026. The repo currently has no CI workflow, so import errors, dependency
regressions, or bit-rot in the calibration scripts can go undetected until a ...
Who
Learners who want to back up their progress or switch devices.
Motivation
The English Coach stores all data in IndexedDB (recordings) and localStorage (prompts, words, streak, activity). There
is ...
Created by bot actor token test. Safe to delete.
Who
Learners using the English Coach to practice spoken English.
Motivation
The app currently records audio via MediaRecorder and stores blobs in IndexedDB, but the user has no way to see what
they ...
Summary
The README describes the experiments as Seeded (SEED = 20260617), byte-reproducible across PYTHONHASHSEED , but the
current CI workflow (.github/workflows/ci.yml) only runs pytest -q on the smoke ...
onboard therock-PR-Bot to therock repo.
tested and demoed to team at infra repo https://github.com/ROCm/TheRock-Infra/pull/339
Using the pdf Core Rules, Beyonder worlds and Folstavia begin creating individual Enhancements. Build in the automation
according to the Enhancement abilities.

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.