Privacy Policy

What we collect

• GitHub profile info — username, email, and avatar URL, received when you sign in via GitHub OAuth.
• Content you post — tools you register, forum threads and replies, and your display name and bio.
• Voting activity — which tools you've starred.

What we don't collect

We don't use analytics services, tracking cookies, or any third-party data collection. There are no ads. We don't sell or share your data with anyone.

How we use it

Your data is used to operate the registry: display your profile, show tools you've submitted, and match tools via proximity (semantic similarity of problem statements). That's it.

Third parties

• GitHub — OAuth authentication. Their privacy policy applies to their service.
• Fly.io — Application hosting.
• Google Gemini API — We send tool problem statements to generate embeddings for proximity matching. No user profile data is sent.

Your rights

You can download all your data and delete your account from your Account settings. These are available to all users, regardless of jurisdiction.

Data retention

Content you post (tools, forum replies) is public. If you delete your account, your forum content is anonymized (attributed to "[deleted user]") and your tools are deactivated. Your user record is deleted.

Contact

Questions? Post in the forum.