Release notes
HOL Guard v3.60.0a65
PreviewHOL Guard v3.60.0a65, released November 10, 2026, is a preview release with 5 additions, 1 fix and 1 other change across 6 merged pull requests. Highlights: Add Spectra optical verification referee contribution (mcp.spectra); Add the opt-in DESIGN:OS Studio MCP contribution.
5 added · 1 fixed · 1 other
Key facts
- Version
- v3.60.0a65
- Channel
- Preview
- Published
- Previous release
- alpha/v3.60.0a64
- Merged pull requests
- 6
Documented changes
7 typed entries
Verified contributors
Credits being verified. Attribution coverage is in progress.
Attribution coverage
attribution in progress; history inventory partial.
Install
Scope
Guard v3.60.0a65 is a preview release published 2026-11-10. Upstream documents: Guard 3.60.0a65 is an opt-in prerelease cut from 5539f65. Stable installations remain on the stable channel. 6 commits • 6 merged pull requests • 6 contributors since Guard 3.60.0a64. Its comparison base is alpha/v3.60.0a64. It includes 8 verified contribution deliveries with public evidence links. Attribution for this release is being verified.
Changes
Added
5- mcpAdd Spectra optical verification referee contribution (mcp.spectra) (#7256) Evidence for this change
- mcp-serversAdd the opt-in DESIGN:OS Studio MCP contribution (#7502) Evidence for this change
- mcp-serversAdd the opt-in Monomem MCP contribution (#7151) Evidence for this change
- New Features
- Added an opt-in Monomem MCP server entry with local launch options and SQLite data access.
- Included information about available and review-gated tools, configuration, data handling, and task controls.
- mcp-serversAdd logbear MCP contribution (external, opt-in) (#7504) Evidence for this change
- Add PADAM NOCTURNE MCP server contribution (external, opt-in) (#7505) Evidence for this change
- Merged pull request #7504: feat(mcp-servers): add logbear MCP contribution (external, opt-in)
- Merged pull request #7151: feat(mcp-servers): add the opt-in Monomem MCP contribution
- Direct commit bac8e4ec664c: feat(mcp-servers): add the opt-in DESIGN:OS Studio MCP contribution
- Merged pull request #7256: feat(mcp): add Spectra optical verification referee contribution (mcp.spectra)
- Direct commit a90cd7fd8233: fix: shorten Monomem MCP safer alternatives
- Merged pull request #7505: Add PADAM NOCTURNE MCP server contribution (external, opt-in)
- Merged pull request #7502: feat(mcp-servers): add the opt-in DESIGN:OS Studio MCP contribution
- Merged pull request #7506: fix(cigar): place the definition holding a quote only a withheld file holds
Fixed
1- cigarPlace the definition holding a quote only a withheld file holds (#7506) Evidence for this change
Other changes
1- Guard 3.60.0a65 is an opt-in prerelease cut from
5539f65. Stable installations remain on the stable channel. 6 commits • 6 merged pull requests • 6 contributors since Guard 3.60.0a64. Evidence for this change
Upgrade and compatibility
None documented.
Compare with the previous release
Predecessor on the same channel: alpha/v3.60.0a64
Verified contributors
Credits derive from public pull-request authorship, verified commit authorship, or verified co-authorship — never from thanks text or release metadata. Each distinct contributor is listed once; the evidence ledger paginates every published credit record.