egordev Karma 1 Created 2 months ago About Software Engineer Recent Submissions 1. ▲ Show HN: ProofLoop – Autonomous long-running agents with verifiable completion (github.com) 2 points · 2 months ago · 0 comments All submissions on HN · View profile on HN