Skip to content

Feat/dictionary tool - #10

Merged
saqlain2204 merged 2 commits into
mainfrom
feat/dictionary-tool
Apr 7, 2026
Merged

Feat/dictionary tool#10
saqlain2204 merged 2 commits into
mainfrom
feat/dictionary-tool

Conversation

@saqlain2204

Copy link
Copy Markdown
Owner

Summary

This PR creates a new dictionary MCP tool

Changes

Creates a new dictionary tool in the tools directory

Checklist

  • Tests added or updated for every changed behaviour
  • All existing tests pass (python -m pytest -q)
  • Type annotations present on all new public symbols
  • mypy src/vantage passes
  • ruff check . passes
  • CHANGELOG.md updated under [Unreleased]

@saqlain2204
saqlain2204 force-pushed the feat/dictionary-tool branch from 83a8f4a to 90c773e Compare April 7, 2026 16:30
@saqlain2204
saqlain2204 marked this pull request as ready for review April 7, 2026 16:31
@saqlain2204
saqlain2204 merged commit bf9d457 into main Apr 7, 2026
1 check passed
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