issues Search Results · language:Edge language:Python linked:pr language:JavaScript linked:pr language:Java language:Python
Filter by
5.9M results
Target artifact: the running notes app s HTTP interface (http://localhost:8000) — specifically GET /notes/ id
Attack class: leakage
Discovery method: white-box (source-assisted)
Property violated: ...
valid
Observed on a deployment of the #1241 redesign (post-#1254/#1259). The conversation-independence requirement (P4) is
still violated in one path: a sender s message to conversation B waits for their active ...
What to build (operator-requested 2026-06-12)
1. Library: a starred-only quick toggle rendered NEXT TO the density radio (LibraryView header, ~line 94 s toggle
group). It drives the SAME filters.starredOnly ...
enhancement
ready-for-agent
From the 2026-06-12 plugin review (resource-surface audit), two staleness items in skills/using-deriva-mcp/SKILL.md:
1. The resource-templates table header points readers at deriva-ml-mcp/src/deriva_ml_mcp/resources/ml.py ...
From the 2026-06-12 review, two naming inconsistencies a user guessing tool names hits:
1. deriva_ml_release is the only dataset tool without a noun -- a user guessing release_dataset fails. Rename to ...
From the 2026-06-12 comprehensive review: get_guide is the ONLY unprefixed tool in the plugin, contradicting CLAUDE.md s
zero unprefixed tools ... load-bearing naming invariant and creating a real collision ...
What
Capture the environment + reward design for the learned hangar-layout/tow backend, re-architected around a cold-joint,
reward-driven RL agent (no behavior-cloning teacher, no deterministic search ...
area:backend
enhancement
spike
Target artifact: the Flask app session configuration / GET / and error pages (http://localhost:8000)
Attack class: policy-bypass
Discovery method: white-box (source-assisted)
Property violated: P5: ...
valid
Target artifact: the POST /notes create endpoint of the running notes app (http://localhost:8000)
Attack class: sql-injection
Discovery method: white-box (source-assisted)
Property violated: P3: Input ...
valid

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.