Read the full LLM message history (inputs, outputs, tool calls, errors, token usage, stop reasons) for an AIAutoProver run from its log folder. Use this skill ANY time the user asks something about a specific run that produced an autoProve log — e.g. "why did that run loop", "what error did the model see on retry 5", "how many tokens did it burn", "show me the prompt for the system-analysis call", "what did the code_explorer subagent for X return", "what was the LLM's last response before it died". The events.jsonl only contains metadata; the actual messages live in Postgres and this skill is the way to reach them. If the user asks about a run but does NOT provide a log path, proactively ask where the log is (e.g. ".certora_internal/autoProve/<timestamp>.events.jsonl" or the autoProve folder) before answering — do not guess or make claims about message content without inspecting it.
2026-06-01