Owner

chrisflav

4 indexed repositories · View on GitHub

proetale
Proétale cohomology in Lean

Lean · 15 stars
kompass
Administration platform for local sections of the Young German Alpine Club

Python · 4 stars
orchestra
A daemon running agentic coding tasks queried from listeners.

Lean · 3 stars
mathlib-staging

Lean · 0 stars

Beginner friendly Everything

Open All

Bumping mathlib to 79d0395 would break the build Open

hopscotch-action

Difficulty 4/5 3-5 days Newbie friendliness 48/100

chrisflav/mathlib-staging#23 · Opened Jul 17, 2026
Upstream definitions used in Comparator files Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

chrisflav/proetale#184 · 6 comments · Opened Jul 8, 2026
Generalize `have` tactic Open

Difficulty 5/5 Over a week Newbie friendliness 45/100

chrisflav/mathlib-staging#13 · 1 comment · Opened Jun 29, 2026
Support relative paths in listener configuration Open

enhancement

Difficulty 2/5 1-3 hours Newbie friendliness 68/100

chrisflav/orchestra#129 · Opened Jun 29, 2026
Allow overriding the requirement for the alternative email be confirmed Open

Difficulty 4/5 3-5 days Newbie friendliness 48/100

chrisflav/kompass#286 · 1 comment · Opened Jun 29, 2026
Flat sheaves of modules Open

Difficulty 4/5 3-5 days Newbie friendliness 45/100

chrisflav/mathlib-staging#7 · 1 comment · Opened Jun 28, 2026
Allow type of database to be configured via settings.toml Open

Difficulty 3/5 1-2 days Newbie friendliness 65/100

chrisflav/kompass#285 · Opened Jun 17, 2026
Priority is ignored for steps in concerts Open

bug

Difficulty 3/5 1-2 days Newbie friendliness 42/100

chrisflav/orchestra#125 · Opened Jun 12, 2026
Web dashboard Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

chrisflav/orchestra#124 · 1 comment · Opened Jun 12, 2026
Bumping mathlib to ccab104 would break the build Open

hopscotch-action

Difficulty 4/5 3-5 days Newbie friendliness 55/100

chrisflav/proetale#116 · Opened May 29, 2026
Add support for querying external LLMs Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 35/100

chrisflav/orchestra#120 · 2 comments · Opened May 25, 2026
Tool configuration Open

enhancement

Difficulty 4/5 3-5 days Newbie friendliness 48/100

chrisflav/orchestra#112 · Opened May 21, 2026
Add triage MCP tool to add or remove labels Open

enhancement

Difficulty 3/5 1-2 days Newbie friendliness 55/100

chrisflav/orchestra#111 · 1 comment · Opened May 21, 2026
Bump mathlib Open

Difficulty 4/5 3-5 days Newbie friendliness 45/100

chrisflav/proetale#63 · 1 comment · Opened May 20, 2026
Upstream material from `archon` branch Open

Difficulty 4/5 3-5 days Newbie friendliness 38/100

chrisflav/proetale#53 · 16 comments · Opened May 19, 2026
Review and update `archon` progress Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

chrisflav/proetale#51 · 7 comments · Opened May 19, 2026
Missing `\leanok` Open

Difficulty 4/5 3-5 days Newbie friendliness 45/100

chrisflav/proetale#50 · 2 comments · Opened May 19, 2026
Orchestra banner in PR description Open

enhancement

Difficulty 3/5 1-2 days Newbie friendliness 55/100

chrisflav/orchestra#100 · 1 comment · Opened May 18, 2026
Review artifacts submitted for preview instead of via github comments Open

Difficulty 5/5 Over a week Newbie friendliness 35/100

chrisflav/orchestra#95 · Opened May 10, 2026
Allow proposing an issue as completed without a PR Open

enhancement

Difficulty 4/5 3-5 days Newbie friendliness 45/100

chrisflav/orchestra#92 · Opened May 10, 2026
Replace IO by customized monadic interfaces Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

chrisflav/orchestra#88 · 1 comment · Opened May 10, 2026
Project completion status Open

enhancement

Difficulty 4/5 3-5 days Newbie friendliness 48/100

chrisflav/orchestra#87 · 1 comment · Opened May 9, 2026
Support `.yaml` configuration format Open

Difficulty 4/5 3-5 days Newbie friendliness 30/100

chrisflav/orchestra#77 · 1 comment · Opened May 8, 2026
Make validation and retries separate tasks Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 35/100

chrisflav/orchestra#73 · Opened May 3, 2026
Re-enable inline editing of participants of excursions Open

Kind/Enhancement

Difficulty 3/5 1-2 days Newbie friendliness 65/100

chrisflav/kompass#275 · Opened May 3, 2026
Cancelling tasks is broken Open

bug

Difficulty 3/5 1-2 days Newbie friendliness 52/100

chrisflav/orchestra#68 · 1 comment · Opened May 3, 2026
reduce docker image size Open

Difficulty 4/5 3-5 days Newbie friendliness 45/100

chrisflav/kompass#267 · 3 comments · Opened May 2, 2026
Improvements to `opencode` backend Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

chrisflav/orchestra#63 · Opened Apr 29, 2026
enable admin assignment of waitinglist person to group directly (skip register mail) Open

Difficulty 3/5 1-2 days Newbie friendliness 55/100

chrisflav/kompass#265 · 4 comments · Opened Apr 28, 2026
enable invitation from waiting list to group without contact email of group Open

Difficulty 3/5 1-2 days Newbie friendliness 45/100

chrisflav/kompass#264 · 2 comments · Opened Apr 28, 2026
enable register to multible groups Open

Need More Info

Difficulty 3/5 1-2 days Newbie friendliness 38/100

chrisflav/kompass#263 · 1 comment · Opened Apr 28, 2026
enable abitrary kontakt email adress Open

Difficulty 3/5 1-2 days Newbie friendliness 58/100

chrisflav/kompass#262 · 2 comments · Opened Apr 28, 2026
Keep track of usage limits of all authentication sources Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 35/100

chrisflav/orchestra#57 · 1 comment · Opened Apr 28, 2026
Dummy test agent Open

Difficulty 3/5 1-2 days Newbie friendliness 45/100

chrisflav/orchestra#56 · 1 comment · Opened Apr 27, 2026
Allow non-docker development environments Open

Effect/Infrastructur

Difficulty 4/5 3-5 days Newbie friendliness 42/100

chrisflav/kompass#259 · Opened Apr 26, 2026
Don't retry after validation failure if usage limit is reached Open

bug

Difficulty 3/5 1-2 days Newbie friendliness 55/100

chrisflav/orchestra#52 · 1 comment · Opened Apr 26, 2026
Make finances modular Open

Kind/Enhancement

chrisflav/kompass#251 · 1 assignee · Opened Apr 26, 2026
Dokumentation Update: Open

Kind/Documentation

Difficulty 3/5 1-2 days Newbie friendliness 52/100

chrisflav/kompass#241 · Opened Apr 25, 2026
User Documentation wrong links Open

Kind/Documentation

Difficulty 2/5 1-3 hours Newbie friendliness 45/100

chrisflav/kompass#240 · 3 comments · Opened Apr 25, 2026
feature request: enable option to create groups with fixed age limits Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

chrisflav/kompass#235 · 3 comments · Opened Apr 1, 2026
Allow configuring additional MCP servers Open

Difficulty 5/5 Over a week Newbie friendliness 35/100

chrisflav/orchestra#38 · Opened Mar 28, 2026
Build container image in CI and make artifact downloadable Open

Difficulty 4/5 3-5 days Newbie friendliness 48/100

chrisflav/orchestra#35 · Opened Mar 28, 2026
Log flushing in queue mode Open

bug

Difficulty 2/5 1-3 hours Newbie friendliness 45/100

chrisflav/orchestra#18 · 1 comment · Opened Mar 25, 2026
Informal context Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 35/100

chrisflav/orchestra#12 · 1 comment · Opened Mar 25, 2026
Parallel mode Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 42/100

chrisflav/orchestra#7 · 1 comment · Opened Mar 24, 2026
enable docker container versions (releases) Open

Effect/Infrastructur

Difficulty 4/5 3-5 days Newbie friendliness 35/100

chrisflav/kompass#232 · 2 comments · Opened Mar 8, 2026
Handling of `Jugendleiter` group Open

Effect/Admins Kind/Documentation Kind/Enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

chrisflav/kompass#231 · 1 comment · 1 reaction · Opened Mar 8, 2026
WIP: Anpassungen Ausfahrten-UI für LJP 2026, Übersichtlichkeit Open

Need More Info

Difficulty 4/5 3-5 days Newbie friendliness 35/100

chrisflav/kompass#227 · 3 comments · Opened Jan 26, 2026
Stundenplan der Jugendgruppen Open

Difficulty 4/5 3-5 days Newbie friendliness 25/100

chrisflav/kompass#184 · 2 comments · Opened Dec 6, 2025
Lokale Konfiguration angezeigter Felder Open

Effect/User Kind/Enhancement

Difficulty 4/5 3-5 days Newbie friendliness 25/100

chrisflav/kompass#179 · 2 comments · Opened Dec 6, 2025

chrisflav

Get new issues in your inbox