Spaces:
Sleeping
Sleeping
| spec_version: 1 | |
| name: rust_coder | |
| description: "High-fidelity RL environment for evaluating LLM agents on Rust systems programming, including borrow checking, safe concurrency, and memory management." | |
| type: space | |
| runtime: fastapi | |
| app: server.app:app | |
| port: 8000 | |
| dockerfile: Dockerfile | |
| tags: | |
| - openenv | |
| - software-engineering | |
| - rust | |
| - coding-benchmark | |
| # Task Definition (Easy -> Medium -> Hard) | |
| tasks: | |
| - id: 1 | |
| title: "Broken CLI Argument Parser" | |
| difficulty: "Easy" | |
| - id: 2 | |
| title: "Conflicting Borrows" | |
| difficulty: "Easy" | |
| - id: 3 | |
| title: "Lifetime Annotations" | |
| difficulty: "Medium" | |
| - id: 4 | |
| title: "Business Logic" | |
| difficulty: "Medium" | |
| - id: 5 | |
| title: "Linked List Management" | |
| difficulty: "Medium" | |
| - id: 6 | |
| title: "Multi-threaded Deadlocks" | |
| difficulty: "Hard" | |
| - id: 7 | |
| title: "Async Borrowing" | |
| difficulty: "Hard" | |
| - id: 8 | |
| title: "Unsafe FFI Integration" | |
| difficulty: "Hard" | |
| - id: 9 | |
| title: "Inefficient Data Pipelines" | |
| difficulty: "Hard" | |
| - id: 10 | |
| title: "Memory Leak Prevention" | |
| difficulty: "Hard+" | |
| # Definitions for Documentation and Graders | |
| action_space: | |
| type: "RustCoderAction" | |
| description: "A single string containing the fixed Rust code." | |
| observation_space: | |
| type: "RustCoderObservation" | |
| description: "Observation containing problem description, compilation logs, test results, and reward breakdown." | |