Labels

54 labels

area:agents
area:agents
LLM, routing, MCP
area:astro
area:astro
Astrophysics toolbox
area:avatars
area:avatars
area:backend
area:backend
FastAPI, services, DB
area:backend-api
area:backend-api
area:bayes
area:bayes
Bayesian inference
area:ci-cd
area:ci-cd
area:client-vr
area:client-vr
area:cosmology
area:cosmology
Cosmology toolbox
area:devx
area:devx
area:discord
area:discord
area:frontend
area:frontend
Web UI / VS Code / CLI
area:infra
area:infra
DevOps, logging, auth
area:lean
area:lean
Lean 4 bridge
area:networking
area:networking
area:office-scene
area:office-scene
area:quantum
area:quantum
Quantum toolbox
area:security
area:security
area:telemetry
area:telemetry
area:voice-video
area:voice-video
area:web-admin
area:web-admin
area:wolfram
area:wolfram
Wolfram|Alpha MCP
blocked
blocked
bug
bug
Something isn't working
dependencies
dependencies
Pull requests that update a dependency file
discord:mentorship
discord:mentorship
Paired with a mentor
documentation
documentation
Improvements or additions to documentation
duplicate
duplicate
This issue or pull request already exists
enhancement
enhancement
New feature or request
good first issue
good first issue
Beginner-friendly