We have an early prototype of the Deduce Framework. More details coming soon!