A collaboration with Proof · 1 public repo per week

Are you an open source maintainer? We can help your project.

Completely free for open source repositories.

Proof turns your repository into a graph of requirements that humans and agents can both use. It finds as many bugs as it can, and gives you the tools to triage GitHub issues and pull requests from contributors — including community bug reports and security reports.

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

Showing 30 of 16,456 opportunities to contribute

AI Summary: The documentation for long-polling incorrectly states that KeyboardInterrupt and shutdown signals are not handled. The actual code suppresses KeyboardInterrupt and correctly executes before_shutdown and after_shutdown signals, which contradicts the documentation. The proposed solution is to update the documentation to reflect the actual behavior of the code.

Complexity:2/5
area: docsgood first issuedependenciespriority: P1

🐍 Асинхронный Python-фреймворк для разработки ботов MAX Bot API (max.ru)

Python
#async#asyncio#bot#chat-bot#chatbot#framework#max#max-api#max-api-python#max-bot#max-bot-api#max-messenger#max-messenger-api#max-ru#maxapi#maxo#python#russian

AI Summary: This issue proposes optimizing the `trimmed_mean` function by replacing a full sort operation with a more efficient `torch.topk` call. This change aims to improve performance by avoiding unnecessary sorting when only the top k elements need to be identified and excluded.

Complexity:2/5
good first issuesubtaskperformance

🍓 Build and train energy-based and diffusion models in PyTorch ⚡.

Python
#contrastive-divergence#cuda#diffusion-models#energy-based-model#equilibrium#equilibrium-matching#equilibrium-modeling#generative-ai#hamiltonian#hamiltonian-monte-carlo#langevin-dynamics#noise-contrastive-estimation#probabilistic-machine-learning#reasoning#sampling-methods#score-matching#variational-inference

AI Summary: The Read the Docs build is missing essential extras like 'magic_filter' and 'preview' when installing the package for documentation generation. This causes autodoc directives for functions and modules that depend on these extras to fail silently, leading to missing content in the public documentation.

Complexity:2/5
bugarea: docsgood first issuepriority: P1

🐍 Асинхронный Python-фреймворк для разработки ботов MAX Bot API (max.ru)

Python
#async#asyncio#bot#chat-bot#chatbot#framework#max#max-api#max-api-python#max-bot#max-bot-api#max-messenger#max-messenger-api#max-ru#maxapi#maxo#python#russian

AI Summary: This issue proposes the creation of a troubleshooting guide for the FlowG project. The guide should identify common crash scenarios like disk full, high load average, and network partitions in cluster mode, detailing potential error messages, data loss risks, and recovery procedures. The goal is to assist the operations team in managing FlowG effectively.

Complexity:3/5
help wantedgood first issue

Low Code / Visual Scripting log processing software

Go
#badgerdb#go#golang#log-management#logging#low-code#no-code#pipeline#react-flow#rust#syslog#syslog-server#visual-scripting#vrl

AI Summary: This issue addresses a user experience problem where unsaved form data in a modal is lost when the user clicks outside the modal. The proposed solution is to implement a confirmation dialog that prompts the user before dismissing the modal if any data has been entered, preventing accidental data loss.

Complexity:2/5
good first issue

AI gateway / AI control plane / AI proxy written in Go. Unified OpenAI-compatible and Anthropic-compatible API for OpenAI, Anthropic, Gemini, Groq, xAI, Ollama, vLLM and more. A LiteLLM alternative with observability, guardrails, streaming, cost tracking, intelligent routing, sticky sessions, failover, real-time logs and usage tracking. Prod ready.

Go
#ai#ai-gateway#ai-proxy#anthropic#go#golang#groq#litellm-alternative#llm#llm-gateway#observability#ollama#openai#openai-compatible#openai-compatible-api#openai-compatible-proxy-server#proxy
[HELP]48m ago

AI Summary: The user is experiencing intermittent voice issues in Discord, where others can hear them, but they can only be heard sporadically. They have tried various strategy changes and are seeking further workarounds. The issue appears to be related to network configuration or software interaction, possibly involving Discord's voice communication protocols.

Complexity:3/5
help wanted

OpenWrt packages of https://github.com/bol-van/zapret

JavaScript
#anti-dpi#apk#ipk#luci#nfqws#openwrt#zapret

AI Summary: This issue proposes optimizing transcript search by implementing an in-memory inverted index. Currently, search is a linear O(n) operation. The goal is to build this index lazily on the first search and update it incrementally, with a fallback to the linear scan if the index is not available. The success will be measured by identical search results and a performance benchmark showing improvement beyond 10,000 messages.

Complexity:3/5
enhancementgood first issueassistant

Aielia — an open-source everyday chat assistant that runs a full 11-layer agent harness (world model, control-state gate, verification, recovery, learning) on every turn. Plus a visual canvas that compiles to LangGraph / CrewAI / Mastra / MS Agent Framework.

TypeScript
#agent-harness#agent-reliability#ai-agents#ai-assistant#crewai#harness-engineering#langgraph#llm#mastra#mcp#open-source-assistant#orchestrator

AI Summary: This issue proposes adding user-facing functionality to manage the assistant's cross-run learning. It requires implementing a new CLI command to list and delete learned experiences, and updating the README to display what the assistant has learned, all sourced from the existing `ExperienceStore`.

Complexity:2/5
enhancementgood first issueassistant

Aielia — an open-source everyday chat assistant that runs a full 11-layer agent harness (world model, control-state gate, verification, recovery, learning) on every turn. Plus a visual canvas that compiles to LangGraph / CrewAI / Mastra / MS Agent Framework.

TypeScript
#agent-harness#agent-reliability#ai-agents#ai-assistant#crewai#harness-engineering#langgraph#llm#mastra#mcp#open-source-assistant#orchestrator

AI Summary: This issue proposes enhancing the `chat-ui`'s `ApprovalCard` component to display a preview of file content or shell command details before a user approves an action. Currently, only CLI and desktop users can see this information, limiting browser users' ability to make informed decisions about file writes or shell command executions.

Complexity:3/5
enhancementgood first issuechat-ui

Aielia — an open-source everyday chat assistant that runs a full 11-layer agent harness (world model, control-state gate, verification, recovery, learning) on every turn. Plus a visual canvas that compiles to LangGraph / CrewAI / Mastra / MS Agent Framework.

TypeScript
#agent-harness#agent-reliability#ai-agents#ai-assistant#crewai#harness-engineering#langgraph#llm#mastra#mcp#open-source-assistant#orchestrator

AI Summary: This issue is a "Good First Issue" designed for absolute beginners to make their first open-source contribution. The task involves adding a new Japanese grammar point to a JSON file, requiring no coding experience and can be completed in under a minute directly from the browser.

Complexity:1/5
enhancementhelp wantedgood first issuehacktoberfestcommunitylow hanging fruitup-for-grabsfirst-timers-only

Aesthetic, minimalist platform for learning Japanese inspired by Duolingo and Monkeytype, built with Next.js and sponsored by Vercel. Beginner-friendly with plenty of good first issues - all contributions are welcome!

TypeScript
#beginner#beginner-friendly#contribute#contribution#contributions-welcome#first-contributions#first-timers-only#good-first-contribution#good-first-issue#good-first-pr#hacktoberfest#help-wanted#japanese#japanese-language#language-learning#learn-japanese#nextjs#open-source#react#up-for-grabs

AI Summary: This issue reports a bug where two sound effects play simultaneously when adjusting the Sound Effects volume slider. The fix involves removing a redundant "pop" sound effect that was introduced in a previous commit, as a "click" sound now plays for all slider adjustments due to a recent pull request.

Complexity:1/5
good first issue

Rebuild an unraveling world

GDScript
#coding-education#godot#godot4#godotengine#rpg

AI Summary: The maintainer of the 'jabridge' project needs community help to test Jabra headset compatibility with version 1.0.0. They are requesting users with specific Jabra headsets to run a safe, read-only test to verify device detection and status reporting. The goal is to ensure headset support works before the official release.

Complexity:2/5
help wantedhardware-test-needednative-gov1.0.0

Independent Linux tool for supported Jabra headsets and USB dongles. Native Go; no vendor runtime required.

Shell
#dongle#golang#headset#headset-control#hidraw#jabra#jabradongle#jabraheadset#linux#pipewire#tui

AI Summary: This issue aims to verify how large pinned host memory allocations for layer-streaming are accounted for by the system. Currently, it's inferred that these allocations are backed by kernel-internal shared memory (shmem) rather than anonymous memory, based on kernel OOM dumps. This needs to be confirmed or refuted through direct measurement on hardware.

Complexity:4/5
help wantedquestion

Soup turns the pain of LLM fine-tuning into a simple workflow. One config, one command, done.

Python
#artificial-intelligence#cli#dpo#fine-tuning#finetuning#gguf#huggingface#llm#llmops#local-llm#lora#machine-learning#model-finetuning#ollama#peft#python#pytorch#qlora#sft#transformers

AI Summary: This issue is a beginner-friendly task to add a new trivia question about Japanese drums to a JSON file. It requires no coding and can be completed in under a minute by forking the repository, editing the file directly in the browser, and submitting a pull request.

Complexity:1/5
enhancementhelp wantedgood first issuehacktoberfestcommunitylow hanging fruitup-for-grabsfirst-timers-only

Aesthetic, minimalist platform for learning Japanese inspired by Duolingo and Monkeytype, built with Next.js and sponsored by Vercel. Beginner-friendly with plenty of good first issues - all contributions are welcome!

TypeScript
#beginner#beginner-friendly#contribute#contribution#contributions-welcome#first-contributions#first-timers-only#good-first-contribution#good-first-issue#good-first-pr#hacktoberfest#help-wanted#japanese#japanese-language#language-learning#learn-japanese#nextjs#open-source#react#up-for-grabs

AI Summary: This issue requires testing the first-time installation and rollback process of a Release Candidate (RC) 2 on a completely clean Apple Silicon Mac. The goal is to ensure a smooth installation, verify all components are correctly set up, and confirm that a rollback effectively cleans up any residual files or processes.

Complexity:3/5
documentationhelp wantedready-for-human

Privacy-conscious native macOS and StickS3 companion for Codex and local coding agents

C
#codex#developer-tools#esp32-s3#m5stack#macos#sticks3#swiftui#voice-input

AI Summary: This issue requires a comprehensive security review of the VibeStick's LAN Bridge and pairing authentication mechanisms. The goal is to identify and address potential vulnerabilities by mapping routes, analyzing request handling, and ensuring adequate test coverage against a new threat model. The deliverable includes a detailed matrix, corrective actions, and a risk assessment for upcoming releases.

Complexity:4/5
documentationhelp wantedready-for-agent

Privacy-conscious native macOS and StickS3 companion for Codex and local coding agents

C
#codex#developer-tools#esp32-s3#m5stack#macos#sticks3#swiftui#voice-input

AI Summary: This issue requests the creation of a 60-90 second real-hardware demo video for the StickS3 device. The demo should showcase key features like voice input, transcription, and local-first model behavior, while carefully obscuring any sensitive user data. The goal is to provide a quick and truthful understanding of the project's functionality for potential users and maintainers.

Complexity:3/5
documentationhelp wantedready-for-human

Privacy-conscious native macOS and StickS3 companion for Codex and local coding agents

C
#codex#developer-tools#esp32-s3#m5stack#macos#sticks3#swiftui#voice-input

AI Summary: This issue is a "Good First Issue" that invites contributors to add a classic Japanese haiku by Matsuo Basho to a JSON file. The task requires no coding knowledge and can be completed directly in the browser within a minute by forking the repository, editing the specified JSON file, and submitting a pull request.

Complexity:1/5
enhancementhelp wantedgood first issuehacktoberfestcommunitylow hanging fruitup-for-grabsfirst-timers-only

Aesthetic, minimalist platform for learning Japanese inspired by Duolingo and Monkeytype, built with Next.js and sponsored by Vercel. Beginner-friendly with plenty of good first issues - all contributions are welcome!

TypeScript
#beginner#beginner-friendly#contribute#contribution#contributions-welcome#first-contributions#first-timers-only#good-first-contribution#good-first-issue#good-first-pr#hacktoberfest#help-wanted#japanese#japanese-language#language-learning#learn-japanese#nextjs#open-source#react#up-for-grabs

AI Summary: A bug in SymfonyFileLocator causes an assertion failure when using global namespace classes like DateTime with assertions enabled. The assertion `assert(is_int($pos));` fails because the class name doesn't contain a backslash, which is expected by the assertion. The fix involves either removing the assertion or adjusting the logic to prevent it from being triggered incorrectly.

Complexity:2/5
BugGood First Issue

The Doctrine Persistence project is a library that provides common abstractions for object mapper persistence.

PHP
#hacktoberfest#persistence

AI Summary: This issue proposes optimizing the `checkAuthorization` method in `CiviFormProfile.java`. The current implementation fetches all accounts managed by a TI group to check for applicant presence. A more efficient approach is suggested: directly comparing the `ManagedBy()` attribute of the TI account with the applicant account.

Complexity:2/5
good first issuetech-debtoncallup-for-grabs

CiviForm simplifies the application process for government benefits programs by re-using applicant data for multiple benefits applications. It's being developed by Google.org and Exygy, in collaboration with the City of Seattle and community contributors.

Java
#civic-tech#government#public-interest-technology#seattle
[Feature]2h ago

AI Summary: The user wants to implement a "MegProjectile" mechanic that uses a custom model for projectiles. The provided error message indicates that this feature requires the ModelEngine plugin, which is currently missing or not properly configured. The request is essentially asking for guidance on how to set up and use the MegProjectile mechanic with a model.

Complexity:2/5
help wanted

Modern Bedrock model engine for Minecraft Java Edition

Kotlin
#blockbench#bukkit-plugin#fabric-mod#fabric-server#folia-plugin#java#kotlin#minecraft#minecraft-mod#minecraft-model#minecraft-plugin#modelengine#paper-plugin#resource-pack#spigot-plugin

AI Summary: This issue requests the addition of company names and their logos to the contact list page. The functionality should mirror what is already implemented on the Requests and Deals pages, indicating a desire for UI consistency. This is labeled as an enhancement and a good first issue, suggesting it's a straightforward UI modification.

Complexity:2/5
enhancementgood first issuepython

CRM and Task management software, Email marketing and many more. Django CRM software app is built for individual use by businesses of any size or freelancers and is designed to provide easy customization and quick development. ✨

Python
#crm#crm-system#customer#customer-segmentation#django#django-crm#django-framework#email-automation#email-marketing#marketing-analytics#marketing-automation#python#reports#sales#sales-analysis#self-hosted#task-management#team#todo-list#todoapp

AI Summary: This feature request aims to add support for Google's Gemini 3.8 Flash model to the CrewAI library. The implementation involves updating constants, context window tables, and CLI model lists to recognize and correctly handle the new model ID. This will allow users to easily integrate Gemini 3.8 Flash into their CrewAI projects.

Complexity:1/5
good first issue

Framework for orchestrating role-playing, autonomous AI agents. By fostering collaborative intelligence, CrewAI empowers agents to work together seamlessly, tackling complex tasks.

Python
#agents#ai#ai-agents#aiagentframework#llms

AI Summary: This bug report details a visual glitch in Gecko-based browsers (Firefox, Zen) where typing in a multiline text composer causes the text and transcript to jump and bounce. This is attributed to the browser engine's handling of `height: auto` collapsing and asynchronous reflow of transcript elements, leading to scroll anchoring issues and caret displacement.

Complexity:4/5
Bughelp wantedcomp:web-uiP2-mediumtriaged

Omnigent is an open-source AI agent framework and meta-harness: orchestrate Claude Code, Codex, Cursor, Pi, and custom agents — swap harnesses without rewriting, enforce policies and sandboxing, and collaborate in real time from any device.

Python
#agent-framework#agent-governance#agent-orchestration#agents#ai#ai-agent#ai-agents#claude-code#codex#coding-agents#developer-tools#llm#ml#multi-agent#python#sandbox

AI Summary: A test in `gitTestRepo.test.js` is intermittently failing due to a name collision. The `mkdtemp` function, used to create temporary directories for worktrees, appends random characters. When these characters happen to start with 'a' or 'b', the main worktree's path inadvertently contains substrings that the test expects to be absent, leading to false positives. The fix involves asserting on the full worktree paths instead of substrings.

Complexity:2/5
buggood first issuetestsmodel:lighteffort:lowplanner:opus-5

Self-hosted dev machine OS — app management, AI agent orchestration, digital twin, second brain, and creative pipeline from a single dashboard over Tailscale

JavaScript
#ai-agents#dashboard#developer-tools#digital-twin#expressjs#pm2#quantified-self#react#second-brain#self-hosted#tailscale#threejs

AI Summary: This issue is a beginner-friendly task to add a new Japanese proverb to a JSON file. It requires no coding knowledge and can be completed directly in the browser by forking the repository, editing the specified file, and submitting a pull request.

Complexity:1/5
enhancementhelp wantedgood first issuehacktoberfestcommunitylow hanging fruitup-for-grabsfirst-timers-only

Aesthetic, minimalist platform for learning Japanese inspired by Duolingo and Monkeytype, built with Next.js and sponsored by Vercel. Beginner-friendly with plenty of good first issues - all contributions are welcome!

TypeScript
#beginner#beginner-friendly#contribute#contribution#contributions-welcome#first-contributions#first-timers-only#good-first-contribution#good-first-issue#good-first-pr#hacktoberfest#help-wanted#japanese#japanese-language#language-learning#learn-japanese#nextjs#open-source#react#up-for-grabs

AI Summary: This issue proposes to improve the security of Beets by ensuring that token files, which may contain sensitive credentials, are always created with restrictive `0600` permissions. This prevents other users on the system from accessing or modifying these files, regardless of the system's umask settings. The solution involves explicitly setting the file mode during creation and potentially updating existing files.

Complexity:2/5
good first issue

music library manager and MusicBrainz tagger

Python
#cli#hacktoberfest#music#music-library#musicbrainz#python

AI Summary: This issue suggests replacing the use of `sa.text("false")` with `sa.false()` within SQLAlchemy ORM classes. The goal is to leverage a more idiomatic and potentially more efficient way to represent boolean false values in SQLAlchemy.

Complexity:2/5
good first issue

Production-ready platform for agentic workflow development.

TypeScript
#agent#agentic-ai#agentic-framework#agentic-workflow#ai#automation#gemini#genai#gpt#gpt-4#llm#low-code#mcp#nextjs#no-code#openai#orchestration#python#rag#workflow

AI Summary: This issue proposes to improve Linthra's local music access by making it more transparent and controllable within Android's system privacy settings. It aims to offer two distinct methods for accessing local music: using the system's media library permission for broad access, or the existing folder picker for targeted access, with clear explanations and status indicators within the app.

Complexity:3/5
enhancementhelp wanted

Linthra is an open-source, local-first music player for Android with local library scanning, Jellyfin/navidrome/plex streaming, explicit offline cache, and user-controlled playback.

Dart
#android#android-auto#f-droid#jellyfin#localmusic#media-player#music#music-player#nas#navidrome#plex#plex-player#privacy#self-hosted

AI Summary: This issue is a beginner-friendly task to add a new fun fact about Japan to a JSON file. It requires no coding and can be completed in under a minute directly from the browser by forking the repository, editing the file, and submitting a pull request.

Complexity:1/5
enhancementhelp wantedgood first issuehacktoberfestcommunitylow hanging fruitup-for-grabsfirst-timers-only

Aesthetic, minimalist platform for learning Japanese inspired by Duolingo and Monkeytype, built with Next.js and sponsored by Vercel. Beginner-friendly with plenty of good first issues - all contributions are welcome!

TypeScript
#beginner#beginner-friendly#contribute#contribution#contributions-welcome#first-contributions#first-timers-only#good-first-contribution#good-first-issue#good-first-pr#hacktoberfest#help-wanted#japanese#japanese-language#language-learning#learn-japanese#nextjs#open-source#react#up-for-grabs