According to the Stanford AI Lab blog, CausalSmith is an agentic framework that automates theoretical causal inference research by using Lean to verify proofs and an audit step to align formal statements with paper claims.