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.

Apply free for OSS
tzioup

tzioup/PortOS

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

1 good first / help-wanted issue · last activity Aug 31, 2026

0 stars 0 forks 0 watchers MIT License
View on GitHub
1 Open Issue Need Help Last updated: Aug 31, 2026

Open Issues Need Help

View All on GitHub
identityFromHandle turns digit-bearing handles into phone numbers and silently drops Matrix ids about 2 hours ago
bug good first issue model:light effort:medium
tzioup/PortOS
0

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