Implementation of SecRepoBench: Benchmarking Code Agents for Secure Code Completion in Real-World Repositories - View it on GitHub