issues Search Results · language:Dune language:Python language:JavaScript language:Java language:Python language:JavaScript
Filter by
55M results
Hi,
We ve been working on K-Lean (https://github.com/Heime-Jorgen/kenosian-lean4) — a Lean 4 library providing
machine-verified mathematical contracts for computational biology.
Given react-alignment-graphic ...
Heime-Jorgen
Add your issue here
This would have been a benefit of adding #382, but unfortunately they are not appropriate for our needs. It s possible
that this work could tie in to #974.
enhancement
science
paddyroddy
Bug Description Feature request: per-subagent effort/thinking control ÔÇö align Claude Code with the Agent SDK
We build a multi-agent plugin (dev-squad) on the Dynamic Workflow tool. It routes ~16 agent ...
area:agents
enhancement
synced-from-upstream
shreyashjagtap157
Items are showing the default thumbnail when SHOW_THUMBNAILS is set to false.
I think the issue is in this line, which should check configData.PEOPLE.THUMBNAILS.SHOW_THUMBNAILS rather than just
configData.PEOPLE.THUMBNAILS. ...
mcdemarco
Deliverable
Adapter that normalizes the existing Obsidian vault notes (already markdown+frontmatter) into OKF concepts under
notes/okf/ via the #447 writer — establishing OKF conformance for hand-written ...
enhancement
mdopp
CVE-2026-34483 - High Severity Vulnerability
details summary img src= https://whitesource-resources.whitesourcesoftware.com/vulnerability_details.png width=19
height=20 Vulnerable Library - b tomcat-embed-core-10.1.5.jar ...
mend-app-sh[bot]
Hi,
We ve been working on K-Lean (https://github.com/Heime-Jorgen/kenosian-lean4) — a Lean 4 library providing
machine-verified mathematical contracts for computational biology.
Given wormcells-viz s ...
EnzoNavarro36CVE-2025-11226 - Medium Severity Vulnerability
details summary img src= https://whitesource-resources.whitesourcesoftware.com/vulnerability_details.png width=19
height=20 Vulnerable Library - b logback-core-1.4.5.jar ...
In light of our upgrades with GDAL and rasterio, we are finding more memory issues.
We are looking at all locations were rasterio.open are being used and watching for scoping.
We want to change rasterio.opens ...
Med Priority
RobHanna-NOAA
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.
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.