Skip to content

Hide the board ticket tools when the tracker is not druks - #905

Open
czpython wants to merge 1 commit into
mainfrom
worktree-hide-board-tools-off-druks-tracker
Open

czpython wants to merge 1 commit into
mainfrom
worktree-hide-board-tools-off-druks-tracker

Conversation

@czpython

@czpython czpython commented Oct 13, 2026 •

Copy link
Copy Markdown
Owner

Closes #890.

The five board tools create_ticket, get_ticket, update_ticket, set_status and add_comment read and write the druks board's Ticket table, which stays empty by design while another tracker is selected. /mcp now lists and calls them only while Software Factory's tracker is druks. start and review stay: they work through the selected tracker.

The board router carries a FastAPI dependency, require_board, that raises BoardNotSelected unless the tracker is druks. The MCP server treats a coroutine dependency with no parameters as a precondition on configuration: it runs it on each listing and call, and hides the tool while it raises an agent error. A direct API call under /tickets gets that error as a 404.

@mintlify

mintlify Bot commented Oct 13, 2026 •

Copy link
Copy Markdown

Preview deployment for your docs. Learn more about Mintlify Previews.

Project Status Preview Updated
druks 🟢 Ready View Preview Oct 14, 2026, 6:53 PM

💡 Tip: Enable Automations to automatically generate PRs for you.

This branch was successfully deployed

1 active deployment
staging - docs — 77063042 Deployed Oct 14, 2026 by mintlify[bot]
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.

Hide the board ticket tools when the tracker is not druks

1 participant