diff --git a/typed-racket-more/typed/racket/os.rkt b/typed-racket-more/typed/racket/os.rkt
new file mode 100644
index 00000000..d8e4c4f0
--- /dev/null
+++ b/typed-racket-more/typed/racket/os.rkt
@@ -0,0 +1,6 @@
+#lang typed/racket/base
+
+(require/typed/provide
+ racket/os
+ [gethostname (-> String)]
+ [getpid (-> Integer)])