anyone got the GitHub repo for this Polymarket trading bot?
https://redd.it/1vknvhb
@r_CoolGithubProjects
Post #15267
178
- Oct 13, 2026I built the modern notepad.exe, but for Markdown https://redd.it/1x4noed @r_CoolGithubProj…
- Oct 13, 2026theAuth: open-source auth where AI agents are first-class, not just API keys https://githu…
- Oct 13, 2026YardScout Feedback https://github.com/DevarshP610/YardScout https://redd.it/1x4k9jh @r_Coo…
- Oct 13, 2026Free Whisper Powered Profanity Remover https://github.com/SevynTech/ProfMute https://redd.…
- Oct 13, 2026I got tired of juggling EU/Asia client+team chats across Telegram and WhatsApp so I built…
- Oct 13, 2026Open-source AI agent built around small local models, with a grammar-constrained tool loop…