G github.com Show HN: Prokop – Open-source coding environment with agents that learn 1 points danielbilekq 1 month ago 0 comments