Try it: Thread-safe Rate Limiter

Build a thread-safe token bucket from its contract, prove it under concurrent calls, use progressive hints and complete a reasoning quiz.