I don't think you can do a MiniGL to TinyGL wrapper, since MiniGL is an OpenGL to Warp3D wrapper itself. We'll see if Wazp3D can be used as a stopgap solution, until an official update arrives (if it does), which implements Warp3D on top of TinyGL.
Personally I'd love to see TinyGL improved and bugfixed too. With an OpenGL 1.5 compatible TinyGL, one could really harness the graphic capabilities of the R300 cards. Also the inclusion of an open source implementation of S3TC would be a godsend on systems with just 32MB VRAM. Same goes for VBO's, to push more more polygons per frame, and conserve bus bandwidth.