Skip to content

chore(release): @polygraphso/litmus 0.25.0#88

Merged
RubenSousaDinis merged 1 commit into
mainfrom
release/litmus-0.25.0
Jul 3, 2026
Merged

chore(release): @polygraphso/litmus 0.25.0#88
RubenSousaDinis merged 1 commit into
mainfrom
release/litmus-0.25.0

Conversation

@RubenSousaDinis

Copy link
Copy Markdown
Member

Version bump for the 0.25.0 release — ships #87 (published-grade lookup tools check_server / list_servers / request_grade, and remote GitHub skill refs for run_skill_litmus). Minor: backward-compatible tool additions, no grading-semantics change (litmus-v12 / litmus-skill-v2 unchanged).

  • packages/litmus/package.json → 0.25.0
  • server.json → 0.25.0 (both fields) + refreshed POLYGRAPH_API_URL description (the base URL now also serves the lookup tools)
  • polygraph plugin → 0.5.0 (plugin.json + both marketplace manifests — the bundled server's tool surface grew)

After merge: tag litmus-v0.25.0 on main → publish workflow → GitHub Release → retag v1.

- 0.24.0 → 0.25.0 (minor: published-grade lookup tools check_server /
  list_servers / request_grade + remote GitHub skill refs for
  run_skill_litmus; no grading-semantics change).
- server.json: both version fields + refresh the POLYGRAPH_API_URL
  description (the base URL now serves the lookup tools too).
- polygraph plugin 0.4.0 → 0.5.0 (the bundled server's tool surface grew).

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_011FW3vDMau8UYnNWCanfT4k
@RubenSousaDinis
RubenSousaDinis merged commit d85c593 into main Jul 3, 2026
11 checks passed
@RubenSousaDinis
RubenSousaDinis deleted the release/litmus-0.25.0 branch July 3, 2026 10:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant