@meta
  v: 1
  route: /episodes/2026-08-11-evys-morning-ai-brief
  generated: 2026-09-01T10:23:18.198Z
  ttl: 1h

@intent
  purpose:    Evy's Morning AI Brief #061: Agent Runs Need Receipts, Not Just Results
  audience:   developer, ai-engineer, agent-builder, agent, listener
  capability: listen, read, follow-sources, share

@state
  number: 061
  headline: "Agent Runs Need Receipts, Not Just Results"
  title: "Evy's Morning AI Brief #061 -- August 11, 2026"
  date: 2026-08-11
  runtime: 11:48
  audio: /media/audio/2026/08/evy-show-061.mp3?v=20260811110903
  summary: "Today’s brief tracks signed agent receipts, verification harnesses, small local models, MCP compression, and harder coding-agent benchmarks."
  tags[2]: Agentic AI, AI Infrastructure
  source_count: 18
  sources[18]{title,publisher,url}:
    Traceseal: The Agent Accountability Platform,traceseal.io,https://traceseal.io/
    GitHub: phillipmex/linejudge Independent Verification Harness,GitHub,https://github.com/phillipmex/linejudge
    GitHub: activeing123/mcptoon Token-Efficient MCP CLI Client,GitHub,https://github.com/activeing123/mcptoon
    MarkTechPost: webAI Releases TwIL-LM Formal-Logic Models,MarkTechPost,https://www.marktechpost.com/2026/08/10/webai-releases-twil-lm-a-1-7b-and-3b-formal-logic-model-family-for-autoformalization-on-local-hardware/
    arXiv: Macaron-V1 Continual Learning with Self-Improvement and Mixture-of-LoRA,arXiv,https://arxiv.org/abs/2608.09819
    "Cactus: Needle 2, the 14 MB Agentic LLM for Tiny Devices",Cactus,https://cactuscompute.com/needle
    Jcode: Open-Source AI Coding Agent for the Terminal,jcode.sh,https://jcode.sh/
    GitHub: CortexFlow/CortexBrain Monitoring Platform for AI Agents,GitHub,https://github.com/CortexFlow/CortexBrain
    GitHub: anomalyco/opencode Open Source Coding Agent,GitHub,https://github.com/anomalyco/opencode
    GitHub: openai/codex Lightweight Terminal Coding Agent,GitHub,https://github.com/openai/codex
    GitHub: QwenLM/qwen-code Terminal Coding Agent,GitHub,https://github.com/QwenLM/qwen-code
    GitHub: leog/ai-pulse Ambient Agent Status Indicator,GitHub,https://github.com/leog/ai-pulse
    arXiv: SHE Trajectory-Driven Safety Harness Evolution for LLM Agents,arXiv,https://arxiv.org/abs/2608.09885
    arXiv: SWE-Bench ProMax for Large-Scale Multilingual Code Refactoring,arXiv,https://arxiv.org/abs/2608.09802
    arXiv: SpecPath Testing Coding Agents Across Specification Histories,arXiv,https://arxiv.org/abs/2608.09799
    arXiv: Agentic Harnesses for Robot Autonomy Verification,arXiv,https://arxiv.org/abs/2608.09857
    HN Algolia Search: AI Agents Stories by Date,Hacker News Algolia API,https://hn.algolia.com/api/v1/search_by_date?query=AI%20agents&tags=story
    MarkTechPost Open Source Technology Category,MarkTechPost,https://www.marktechpost.com/category/technology/open-source/

@actions
  - id: listen
    method: GET
    href: /media/audio/2026/08/evy-show-061.mp3?v=20260811110903
  - id: read_full_article
    method: GET
    href: /articles/2026-08-11-evys-morning-ai-brief-full.md
  - id: view_human
    method: GET
    href: /episodes/2026-08-11-evys-morning-ai-brief/

@context
  > Today’s brief tracks signed agent receipts, verification harnesses, small local models, MCP compression, and harder coding-agent benchmarks.

@nav
  self:      /episodes/2026-08-11-evys-morning-ai-brief.agent
  parents:   [/.agent, /archive.agent]
  peers:     [/episodes/2026-08-22-evys-morning-ai-brief.agent, /episodes/2026-08-21-evys-morning-ai-brief.agent, /episodes/2026-08-20-evys-morning-ai-brief.agent, /episodes/2026-08-19-evys-morning-ai-brief.agent]