From the book Rationality A to Z, the general understanding of Lean( is an interactive theorem prover), Intuitive Interactive Bayes' Theorem Visualization tool(example: https://allenkim67.github.io/bayes-demo/). 
I assumed that there should be a tool to help make a better decision. So the perfect result would be some assistance that helps to make a decision.
The type of question I would like to answer: "Should I help this person?", "Should I change the job?". 
I am using a list of heuristics and questions for now. But it is hard for me to understand how to apply logic or Bayes's theorem here.
Thanks for any help 🌻