Well, it is and it isn't. Powerset doesn't use the rails functionality at all right now.

P.S., we want more language and framework bindings. I have about half a mzscheme erlang binding done (Erlenmeyer on my github) because I'd love to see arc bindings.