Help Wanted

Discover open source projects where your contributions truly matter

While large projects overflow with contributions, smaller initiatives eagerly await your expertise and passion

Active filters:Stars: 10+ Stars
Filters trigger API requests for better performance

Showing 30 opportunities to contribute

good first issuequestionneeds-triage

Care is a Digital Public Good enabling accelerated healthcare delivery.

TypeScript
#digital-public-goods#hacktoberfest#healthcare#hmis
good first issueSize: Steam:library-maintainers

🌯 Burrito is a TACoS Kubernetes Operator - "Argo CD for Terraform"

Go
#cd#ci#cicd#infrastructure-as-code#kubernetes#kubernetes-operator#opentofu#operator#tacos#terraform#terragrunt

Cognee is the open-source AI memory platform for agents. Give your AI agents persistent long-term memory across sessions with a self-hosted knowledge graph engine.

Python
#agent-memory#agent-skills#ai#ai-agents#ai-memory#cognitive-architecture#cognitive-memory#context-engineering#contributions-welcome#good-first-issue#good-first-pr#graph-database#graph-rag#help-wanted#knowledge#knowledge-graph#memory-management#open-source#vector-database

🎨 Local-first, open-source Claude Design alternative. 🖥️ Native desktop app. ⚡ 259+ Skills · ✨ 142+ Design Systems 🖼️ Web · desktop · mobile prototypes · slides · images · videos · HyperFrames 📦 Sandboxed preview · HTML/PDF/PPTX/MP4 export 🤖 Claude Code / OpenClaw / Codex / Cursor / OpenCode / Qwen / Copilot / Hermes / Kimi & 17+ CLIs.

TypeScript
#agent-skills#ai-agents#ai-design#byok#claude-code-for-design#claude-design#codex-design#coding-agents#cursor-design#design-systems#design-tools#desktop-app#figma-alternative#generative-ai#hermes-agent#local-first#no-code#prototyping#ui-generator#vibe-coding
help wantedstage/020-claimedhive/claimed-by-human

AI agent orchestration for open and closed source — a fully customizable fleet of AI agents covering every level of project maintenance, from brainstorming to full autonomy

Go
#agent-orchestration#ai-agents#autonomous-agents#ci-cd#code-review#developer-tools#devops#github-automation#golang#kubernetes#llm#multi-agent-systems
good first issuearea:foundationstype:proofdifficulty:smallstatus:readyarea:market

Formally verified mathematical finance in Lean 4. Black–Scholes/Greeks/PDE, Itô calculus, FTAP/Girsanov, CRR→BS convergence, Merton jump-diffusion.

Lean
#black-scholes#derivatives-pricing#formal-methods#formal-verification#ito-calculus#lean4#mathematical-finance#mathlib#option-pricing#quantitative-finance#stochastic-calculus#theorem-proving

AI agent orchestration for open and closed source — a fully customizable fleet of AI agents covering every level of project maintenance, from brainstorming to full autonomy

Go
#agent-orchestration#ai-agents#autonomous-agents#ci-cd#code-review#developer-tools#devops#github-automation#golang#kubernetes#llm#multi-agent-systems
help wantedarea:portfoliotype:researchdifficulty:hardstatus:readyarea:valuation/general

Formally verified mathematical finance in Lean 4. Black–Scholes/Greeks/PDE, Itô calculus, FTAP/Girsanov, CRR→BS convergence, Merton jump-diffusion.

Lean
#black-scholes#derivatives-pricing#formal-methods#formal-verification#ito-calculus#lean4#mathematical-finance#mathlib#option-pricing#quantitative-finance#stochastic-calculus#theorem-proving
help wantedarea:foundationstype:researchdifficulty:hardstatus:readyarea:probability/discrete

Formally verified mathematical finance in Lean 4. Black–Scholes/Greeks/PDE, Itô calculus, FTAP/Girsanov, CRR→BS convergence, Merton jump-diffusion.

Lean
#black-scholes#derivatives-pricing#formal-methods#formal-verification#ito-calculus#lean4#mathematical-finance#mathlib#option-pricing#quantitative-finance#stochastic-calculus#theorem-proving
Mi Band 810m ago
enhancementhelp wanted

Read your Xiaomi Smart Band 10 / 10 Pro on iPhone without Mi Fitness or a Xiaomi account.

Swift
#bluetooth-low-energy#cloudflare-workers#ios#mi-band#reverse-engineering#swiftui#wearables#xiaomi
help wantedarea:black-scholestype:researchdifficulty:hardstatus:readyarea:valuation/volatilityfamily:volatility

Formally verified mathematical finance in Lean 4. Black–Scholes/Greeks/PDE, Itô calculus, FTAP/Girsanov, CRR→BS convergence, Merton jump-diffusion.

Lean
#black-scholes#derivatives-pricing#formal-methods#formal-verification#ito-calculus#lean4#mathematical-finance#mathlib#option-pricing#quantitative-finance#stochastic-calculus#theorem-proving
help wantedarea:foundationstype:proofdifficulty:hardstatus:readyarea:probability/gaussian

Formally verified mathematical finance in Lean 4. Black–Scholes/Greeks/PDE, Itô calculus, FTAP/Girsanov, CRR→BS convergence, Merton jump-diffusion.

Lean
#black-scholes#derivatives-pricing#formal-methods#formal-verification#ito-calculus#lean4#mathematical-finance#mathlib#option-pricing#quantitative-finance#stochastic-calculus#theorem-proving
help wantedarea:foundationstype:proofdifficulty:hardstatus:readyarea:probability/discrete

Formally verified mathematical finance in Lean 4. Black–Scholes/Greeks/PDE, Itô calculus, FTAP/Girsanov, CRR→BS convergence, Merton jump-diffusion.

Lean
#black-scholes#derivatives-pricing#formal-methods#formal-verification#ito-calculus#lean4#mathematical-finance#mathlib#option-pricing#quantitative-finance#stochastic-calculus#theorem-proving