RepoJournal
Anthropic @anthropics
101 wires and counting

$ follow Anthropic

Keep up with Anthropic in about 3 minutes a day: what actually shipped — the commits, pull requests, releases, and security advisories that matter.

or

fair warning: these emails are deeply technical. diffs, version numbers, CVEs, benchmark deltas. if that's not your idea of a good morning, this isn't your newsletter.

One email a day. Unsubscribe in one click.

$ status

wire 2026-08-28
stories 13
GitHub RSS Archive Topics

© 2026 RepoJournal Home Showcase Explore How it works Privacy

$ the-wire · showcase

ANTHROPIC RESTRUCTURES FORMAL-MATH TOWARD MULTI-PROJECT LEAN

By RepoJournal · Filed · About Anthropic

Tobin South github-actions jleder3
3 people shipped this
Tobin South @tobinsouth 4 cited github-actions @github-actions 3 cited jleder3 @jleder3 1 cited

formal-math is splitting into per-subdirectory Lean projects, a structural shift for anyone building on Zeta23.

The formal-math repo was renamed and now hosts independent Lean formalizations, with Zeta23 moved intact into zeta23/ as the first multi-project layout [1]. The move preserves every .lean file, lakefile, manifest and toolchain, so builds are unchanged beyond the new path [1]. Meanwhile, claude-plugins-official expanded with an ActiveCampaign plugin mirrored across both plugin repos [2][3]. It was merged into knowledge-work-plugins via PR #1016 [4] and into the official registry via PR #5641 [5]. The registry also saw three automated SHA bumps for carta-crm, carta-cap-table and carta-investors, all pointing to fa6215ff and validated by `claude plugin validate` [6][7][8]. Notably, "bump PRs are not auto-merged by default," so maintainers must run the scan before merging [8]. Across the period, 7 commits and 6 PRs landed, making this a quiet but deliberate day.

Action items

References

  1. [1] Move Zeta23 into zeta23/ subdirectory (multi-project layout) ↗ anthropics/formal-math
  2. [2] Add activecampaign plugin ↗ anthropics/claude-plugins-official
  3. [3] Add activecampaign plugin ↗ anthropics/knowledge-work-plugins
  4. [4] Add activecampaign plugin (#1016) anthropics/knowledge-work-plugins
  5. [5] Add activecampaign plugin (#5641) anthropics/claude-plugins-official
  6. [6] bump(carta-crm): e512bd67 → fa6215ff ↗ anthropics/claude-plugins-official
  7. [7] bump(carta-cap-table): 9918825a → fa6215ff ↗ anthropics/claude-plugins-official
  8. [8] bump(carta-investors): 84e5df56 → fa6215ff ↗ anthropics/claude-plugins-official
Topics: AI / ML Full archive →

Quick answers

What shipped in Anthropic on August 28, 2026?
formal-math is splitting into per-subdirectory Lean projects, a structural shift for anyone building on Zeta23. In total, 7 commits and 6 pull requests landed.
Who contributed to Anthropic on August 28, 2026?
3 developers shipped this update, including Tobin South, github-actions, and jleder3.
What were the notable Anthropic updates?
Move Zeta23 into zeta23/ subdirectory (multi-project layout), Add activecampaign plugin, and Add activecampaign plugin.

$ log @anthropics --recent

ORGANIZATION API LANDS ACROSS EVERY ANTHROPIC SDK 86 shipped CLAUDE CODE PATCHES STALLED LOG FETCH, SECURITY WILDCARD WARNINGS 18 shipped Claude Code 2.1.245 fixes Linux startup crash 23 shipped Noibu joins the Anthropic plugin marketplace 2 shipped

$ log --all # elsewhere on the wire

AI Agents AGENT TOOL SIGNATURES NOW ENFORCED BEFORE EXECUTION Local LLMs LLAMA.CPP UNLEASHES QWEN3.8-FLASH-NEXT SUPPORT

$ ls showcases/

Rails Django Laravel Node.js Go Vercel Vue.js Kubernetes HashiCorp Arch Linux Linux OpenAI

$ init your-desk

RepoJournal can write one of these for any repo you care about. Sign in with GitHub, pick your repos and sources, and your desk gets a wire like this one every morning.