Heresy, perhaps, but has ever the idea or porting Agavi to a non-PHP language been considered? There is a new (server- and client-side) language on the horizon, Dart, in which language a classical OO MVC framework like Agavi would really do well, and for which there is of yet nothing close to Agavi in the making.
(This is work in which I would have a lot of interest in participating, myself.)
Ben