Skip to content

QVeris MCP Server v0.14.3

Choose a tag to compare

View all tags
@github-actions github-actions released this 07 Sep 13:24
· 3 commits to main since this release
mcp-v0.14.3
853bf40
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Install

npx -y @qverisai/mcp@0.14.3

Highlights

Changed

  • Updated MCP tool descriptions and the runnable Agent loop to use Discover → Call when the returned contract is sufficient, reserve Inspect and Probe for explicit validation needs, and avoid implying semantic route memory in the stateless server. Candidate selection now rejects contracts with unsupported or unmet required inputs. ([#347])

See README for configuration.

What's Changed

  • feat: add QVeris MCP extension for Zed by @FairyZhang-sunny in #340
  • chore(deps-dev): bump typescript-eslint from 8.68.0 to 8.69.0 in /packages/mcp in the minor-and-patch group by @dependabot[bot] in #335
  • chore(deps-dev): bump the minor-and-patch group across 1 directory with 5 updates by @dependabot[bot] in #345
  • chore(openclaw): upgrade compatibility host to 2026.9.2 by @linfangw in #348
  • Simplify conditional routing and bound capability reuse by @linfangw in #347
  • Prepare conditional routing client releases by @linfangw in #349

Full Changelog: cli-v0.11.1...mcp-v0.14.3

Contributors

linfangw, dependabot, and FairyZhang-sunny
Assets 2
Loading