A type-driven program synthesizer that automatically assembles AI workflows. Uses backward chaining in MeTTa with dependent types and combinatory logic to compose services from the SingularityNET marketplace.