새 소식
cmu-l3/reuf2f — 학부 연구 문제 기반 Lean 벤치마크
cmu-l3/reuf2f의 ReuF2F는 학부 연구의 열린 문제 244개로 코딩 에이전트를 평가하는 Lean 벤치마크다.
CURATED OPEN SOURCE INTELLIGENCE
cmu-l3/reuf2f의 ReuF2F는 학부 연구의 열린 문제 244개로 코딩 에이전트를 평가하는 Lean 벤치마크다.
scaleapi/agentenv-framework v0.9.1331은 게이트웨이를 거치는 MCP 서버 예제와 실행별 설정 변경 기능을 담았다.
조건에 맞는 소식이 없습니다.