Skip to content

Add support tools filtering. #1042

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
wants to merge 1 commit into from
Closed

Add support tools filtering. #1042

wants to merge 1 commit into from

Conversation

blkt
Copy link

@blkt blkt commented Jul 11, 2025

Add tool filtering functionality that intercepts MCP tools/list and tools/call requests using Cedar policies; unauthorized tool calls return HTTP 200 with JSON-RPC "Invalid params" error (-32602); includes template-based policy generation, response filtering, and extensive test coverage for both allowed and denied scenarios.

An additional option --tools is available for the thv run command.

@blkt blkt self-assigned this Jul 11, 2025
@blkt blkt force-pushed the feat/tools-filtering branch 3 times, most recently from a4cfa7d to 92bfe05 Compare July 11, 2025 18:41
Add tool filtering functionality that intercepts MCP tools/list and
tools/call requests using Cedar policies; unauthorized tool calls
return HTTP 200 with JSON-RPC "Invalid params" error (-32602);
includes template-based policy generation, response filtering, and
extensive test coverage for both allowed and denied scenarios.

An additional option `--tools` is available for the `thv run` command.
@blkt blkt force-pushed the feat/tools-filtering branch from 92bfe05 to f7be7c0 Compare July 14, 2025 08:53
@blkt blkt marked this pull request as ready for review July 14, 2025 10:24
@blkt
Copy link
Author

blkt commented Jul 14, 2025

@dmjb and folks, please do not merge this, I'm having a hard time testing it locally because of some signature failing validation.

Please, hold on for further testing.

@blkt
Copy link
Author

blkt commented Jul 14, 2025

There's a bug, let me fix that.

@blkt blkt closed this Jul 14, 2025
@dmjb dmjb deleted the feat/tools-filtering branch July 22, 2025 17:37
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.

2 participants