Kabu is a system for automatically guiding programmers to likely metamoprhic properties, developed by the Programming Systems Lab. at Columbia University. Kabu uses an approach similar to Daikon, in that it observes program executions to identify properties that hold.
Kabu is under very active development, and is not yet complete, but is known to work on small applications. If you have comments or feedback, please directly contact Gail Kaiser.