issues Search Results · language:Edge language:Python language:JavaScript language:JavaScript language:JavaScript
Filter by
40.8M results
Hi Boltz team,
K-Lean (kenosian-lean4) provides 90 machine-verified mathematical contracts for computational biology, proved in Lean 4
— no sorry, no axiom shortcuts.
For biomolecular structure prediction ...
Heime-Jorgen
Hi GVP team,
K-Lean (kenosian-lean4) provides 90 machine-verified mathematical contracts for computational biology, proved in Lean 4
— no sorry, no axiom shortcuts.
For geometric vector perceptron-based ...
CVE-2026-48779 - High Severity Vulnerability
details summary img src= https://whitesource-resources.whitesourcesoftware.com/vulnerability_details.png width=19
height=20 Vulnerable Library - b ws-6.2.2.tgz ...
Mend: dependency security vulnerability
mend-bolt-for-github[bot]
Проблема
В src/atman/core/services/identity_service.py (строки 123–294) пять публичных методов — update_self_description,
add_core_value, add_habit, add_principle, add_goal, add_open_question — повторяют ...
area:identity
refactor
tech-debt
hleserg
CVE-2026-53550 - Medium Severity Vulnerability
details summary img src= https://whitesource-resources.whitesourcesoftware.com/vulnerability_details.png width=19
height=20 Vulnerable Library - b js-yaml-3.14.1.tgz ...
Mend: dependency security vulnerability
Summary
Implementar todas las páginas de la web app más allá del Dashboard y auth. Cubre Cronos con drag drop dnd-kit, Odin con
calendar view, Leonidas con disponibilidad muscular, Demeter con tablas ...
feature
frontend
priority:high
ready
kvnaponte
Summary
Eight analysis modules each define a byte-for-byte near-identical private helper _lookup_gwas_matches(rsids,
reference_engine) - list[str] that returns which rsids have any GWAS Catalog association: ...
bioedca
Description
Add focused tests for the risk score calculation service and enrollment risk updates. Depends on the risk scoring
implementation.
Acceptance Criteria
- Tests cover low, moderate, and high ...
DaleHobbs-Dev
Description
Add backend tests that cover authentication behavior and the core data models for users, courses, students, and
enrollments.
Acceptance Criteria
- Tests cover register/login success and ...
背景・目的
#29 で kaizen の SKILL.md に ## 使い方 節を追加し、サブコマンド・オプション・自然文トリガー・例を冒頭で一望できるようにした。他スキルは ## 入力 と ## 例
が分散しているだけで、利用可能なオプションを一望できない。同じ構成へ揃え、ユーザー・エージェント双方がオプションを把握しやすくする。
提案内容
kaizen に倣い、各スキルの SKILL.md ...
enhancement
shoji9x9
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.