diff --git a/Cargo.lock b/Cargo.lock
index 527a858..d4bf29f 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -41,6 +41,7 @@ dependencies = [
 name = "oscars"
 version = "0.1.0"
 dependencies = [
+ "allocator-api2",
  "hashbrown",
  "oscars_derive",
 ]
diff --git a/oscars/Cargo.toml b/oscars/Cargo.toml
index 6292ddb..84a9f44 100644
--- a/oscars/Cargo.toml
+++ b/oscars/Cargo.toml
@@ -4,6 +4,7 @@ version = "0.1.0"
 edition = "2024"
 
 [dependencies]
+allocator-api2 = "0.2"
 hashbrown = "0.16.1"
 oscars_derive = { path = "../oscars_derive", version = "0.1.0" }
 
diff --git a/oscars/src/collector.rs b/oscars/src/collector.rs
new file mode 100644
index 0000000..9c17694
--- /dev/null
+++ b/oscars/src/collector.rs
@@ -0,0 +1,144 @@
+//! `Collector` trait and `GcAllocator` handle.
+
+use core::cell::RefCell;
+use core::ptr::NonNull;
+
+use allocator_api2::alloc::{AllocError, Allocator};
+
+use rust_alloc::alloc::Layout;
+
+use crate::collectors::mark_sweep::MarkSweepGarbageCollector;
+
+/// Super trait of [`Allocator`] for garbage-collected allocators.
+///
+/// # Safety
+///
+/// Allocated memory must remain valid until deallocated or collected.
+pub unsafe trait Collector: Allocator {}
+
+/// Wraps a `&RefCell<MarkSweepGarbageCollector>` to expose `&self` allocation.
+pub struct GcAllocator<'gc> {
+    collector: &'gc RefCell<MarkSweepGarbageCollector>,
+}
+
+impl<'gc> GcAllocator<'gc> {
+    pub fn new(collector: &'gc RefCell<MarkSweepGarbageCollector>) -> Self {
+        Self { collector }
+    }
+}
+
+unsafe impl Allocator for GcAllocator<'_> {
+    fn allocate(&self, layout: Layout) -> Result<NonNull<[u8]>, AllocError> {
+        let mut collector = self.collector.borrow_mut();
+
+        if !collector.allocator.is_below_threshold() {
+            collector.collect();
+            if !collector.allocator.is_below_threshold() {
+                collector.allocator.increase_threshold();
+                collector
+                    .allocator
+                    .initialize_new_arena()
+                    .map_err(|_| AllocError)?;
+            }
+        }
+
+        if collector.allocator.arenas_len() == 0 {
+            collector
+                .allocator
+                .initialize_new_arena()
+                .map_err(|_| AllocError)?;
+        }
+
+        let ptr = if layout.size() == 0 {
+            NonNull::dangling().as_ptr()
+        } else {
+            let raw = unsafe { rust_alloc::alloc::alloc(layout) };
+            if raw.is_null() {
+                return Err(AllocError);
+            }
+            raw
+        };
+
+        Ok(NonNull::slice_from_raw_parts(
+            unsafe { NonNull::new_unchecked(ptr) },
+            layout.size(),
+        ))
+    }
+
+    unsafe fn deallocate(&self, ptr: NonNull<u8>, layout: Layout) {
+        if layout.size() != 0 {
+            unsafe {
+                rust_alloc::alloc::dealloc(ptr.as_ptr(), layout);
+            }
+        }
+    }
+}
+
+unsafe impl Collector for GcAllocator<'_> {}
+
+#[cfg(test)]
+mod tests {
+    use super::*;
+    use allocator_api2::vec::Vec as ApiVec;
+
+    #[test]
+    fn gc_allocator_basic() {
+        let collector = RefCell::new(MarkSweepGarbageCollector::default());
+        let alloc = GcAllocator::new(&collector);
+
+        let mut v: ApiVec<u64, &GcAllocator> = ApiVec::new_in(&alloc);
+        for i in 0..100 {
+            v.push(i);
+        }
+
+        assert_eq!(v.len(), 100);
+        assert_eq!(v[0], 0);
+        assert_eq!(v[99], 99);
+    }
+
+    #[test]
+    fn gc_allocator_zst() {
+        let collector = RefCell::new(MarkSweepGarbageCollector::default());
+        let alloc = GcAllocator::new(&collector);
+
+        let mut v: ApiVec<(), &GcAllocator> = ApiVec::new_in(&alloc);
+        for _ in 0..10 {
+            v.push(());
+        }
+        assert_eq!(v.len(), 10);
+    }
+
+    #[test]
+    fn gc_allocator_drop() {
+        let collector = RefCell::new(MarkSweepGarbageCollector::default());
+        let alloc = GcAllocator::new(&collector);
+
+        {
+            let mut v: ApiVec<u32, &GcAllocator> = ApiVec::new_in(&alloc);
+            v.push(42);
+            v.push(99);
+        }
+    }
+
+    #[test]
+    fn gc_allocator_is_collector() {
+        fn assert_collector<T: Collector>(_: &T) {}
+
+        let collector = RefCell::new(MarkSweepGarbageCollector::default());
+        let alloc = GcAllocator::new(&collector);
+        assert_collector(&alloc);
+    }
+
+    #[test]
+    fn gc_allocator_with_strings() {
+        let collector = RefCell::new(MarkSweepGarbageCollector::default());
+        let alloc = GcAllocator::new(&collector);
+
+        let mut v: ApiVec<rust_alloc::string::String, &GcAllocator> = ApiVec::new_in(&alloc);
+        v.push(rust_alloc::string::String::from("hello"));
+        v.push(rust_alloc::string::String::from("world"));
+
+        assert_eq!(v[0], "hello");
+        assert_eq!(v[1], "world");
+    }
+}
diff --git a/oscars/src/collectors/mark_sweep/mod.rs b/oscars/src/collectors/mark_sweep/mod.rs
index 34e7741..973daf2 100644
--- a/oscars/src/collectors/mark_sweep/mod.rs
+++ b/oscars/src/collectors/mark_sweep/mod.rs
@@ -49,7 +49,7 @@ type ErasedEphemeron = NonNull<ArenaHeapItem<Ephemeron<NonTraceable, NonTraceabl
 
 #[derive(Default)]
 pub struct MarkSweepGarbageCollector {
-    allocator: ArenaAllocator<'static>, // TODO: Cell or refcell
+    pub(crate) allocator: ArenaAllocator<'static>, // TODO: Cell or refcell
     root_queue: Vec<GcErasedPointer>,
     ephemeron_queue: Vec<ErasedEphemeron>,
     state: CollectionState,
diff --git a/oscars/src/lib.rs b/oscars/src/lib.rs
index c0a7fb7..c722e57 100644
--- a/oscars/src/lib.rs
+++ b/oscars/src/lib.rs
@@ -17,5 +17,10 @@ pub use crate::collectors::mark_sweep::*;
 #[cfg(feature = "mark_sweep")]
 pub use oscars_derive::{Finalize, Trace};
 
+#[cfg(feature = "mark_sweep")]
+pub mod collector;
+#[cfg(feature = "mark_sweep")]
+pub use collector::{Collector, GcAllocator};
+
 pub mod alloc;
 pub mod collectors;