Right. Nothing about the example contract at https://stochastic.xyz/contract/5afcd83c45d61c3b7457c7e0 seems "smart" in the sense that that word is usually used, i.e., a contract implemented in a piece of machine code.

As far as I can tell, this is basically a job board for contractors who want to be paid in Bitcoin. There is a bit of innovation with the "proof of funds" meaning that the contractor can be sure-ish that the money they are meant to be paid actually exists. There are no further guarantees, and disputes are handled by humans.