AutoMan: Human-Computation Runtime

No, it integrates HITs into a programming language (e.g. Amazon Turk tasks can be called dynamically through function calls). See the paper: http://people.cs.umass.edu/~emery/pubs/res0007-barowy.pdf