Hola Tomas,
estoy mirando un poco la herramienta asi que si queres vamos viendo juntos como llevarlo adelante, podemos ir agregando cosas en este branch .
Solo hay una cuestion que no se si sea salvable.
PHPStan no es tan estático como promete, de hecho hay algún issue al respecto (que pinta mas a won’tfix que a otra cosa)… lo cual en Toba puede ser un problema ya que al intentar ejecutar ciertas partes del código le va a pedir una conexión a la bd. Por ahora el problema que encontre es que se corta abruptamente por consumo de memoria incluso teniendo un limite muy superior, ya me sume a un issue donde se plantea lo mismo para ver si hay forma de resolverlo.
Fuera de eso, es mas que probable que haya que hacer algún tipo de extensión para que entienda cuestiones particulares del framework… pero como decís, para eso hay que indagar mas en la documentación.
Saludos