If these are to be mentioned at all, it will only be to say that the SRFI may serve as a useful building block in constructing them. They are not prior art in any reasonable sense, being very far out of scope.
GNU Guile has sandboxed evaluation
Gauche also had sandbox module used for web framework Kahua.
(require racket/sandbox)
"The racket/sandbox module provides utilities for creating “sandboxed”
evaluators, which are configured in a particular way and can have
restricted resources (memory and time), filesystem and network access,
and much more. Sandboxed evaluators can be configured through numerous
parameters"
<https://docs.racket-lang.org/reference/Sandboxed_Evaluation.html>
--