Decoding Logic: Mechanistic Interpretability in LLMs in a research program | Manifund