tessl install tessl/pypi-aioredis@2.0.0asyncio (PEP 3156) Redis support
Agent Success
Agent success rate when using this tile
98%
Improvement
Agent success rate improvement when using this tile compared to baseline
1.01x
Baseline
Agent success rate without this tile
97%
{
"context": "This criteria evaluates how well the engineer uses aioredis sorted set operations to implement a leaderboard system. The focus is specifically on utilizing advanced sorted set operations including reverse range queries, pop operations, score-based deletions, and lexicographic range queries.",
"type": "weighted_checklist",
"checklist": [
{
"name": "Basic sorted set usage",
"description": "Uses zadd to add players with scores to the sorted set in the add_player method",
"max_score": 15
},
{
"name": "Reverse range query",
"description": "Uses zrevrange with withscores=True or zrevrangebyscore to retrieve top players in descending score order in get_top_players method",
"max_score": 20
},
{
"name": "Pop minimum members",
"description": "Uses zpopmin or bzpopmin to atomically pop and return the lowest-scoring players in pop_bottom_players method",
"max_score": 25
},
{
"name": "Score range deletion",
"description": "Uses zremrangebyscore to remove all players within the specified score range in remove_players_by_score_range method",
"max_score": 20
},
{
"name": "Lexicographic range query",
"description": "Uses zrangebylex to retrieve players whose names fall within a lexicographic range in get_players_by_name_prefix method",
"max_score": 20
}
]
}