← Writing

Software Verification – LangSmith Tutorial and Hands-On Setup

Stub post capturing the LangSmith tutorial and hands-on setup work from the modules, focusing on tooling for testing and observability.

1 min read By Scott Weeden software-verificationlangsmithtoolinghands-on

Software Verification – LangSmith Tutorial and Hands-On Setup

[Stub] Summary of the LangSmith tutorial, what the tooling does, and how it supports debugging and evaluating complex software systems.

Topics

  • Overview of LangSmith and why we use it in a verification course
  • Setting up the environment using the provided instructions and zip archive
  • Instrumenting code to collect traces/telemetry (conceptual)
  • How these tools relate to testing and verification workflows

Reading and Preparation

[Stub] Point to the “LangSmith Tutorial + Hands-On Experiences” modules and the setup PDF/zip files.