Skip to content

Conversation

@kn0ll
Copy link
Contributor

@kn0ll kn0ll commented Dec 30, 2025

Overview

Implements rename, move, delete, and delete.namespace MCP commands. Discussed briefly on Discord.

Implementation approach and notes

I have not written Haskell in 5 years and I was never good. This was AI assisted. I've reviewed and tested thoroughly.

Interesting/controversial decisions

I found the asymmetry in move/rename namespace vs delete namespace confusing, but I tried to respect the primitive behavior of UCM. If there is something interesting or controversial I have done something wrong. If anything, maybe someone can verify the toolDescription are all accurate?

Test coverage

The MCP transcript has been updated, and I have compiled this version of UCM locally and verified an agent can successfully use the tools:

image

Loose ends

  • Add examples to tool descriptions
  • Add moveTo

- Added `delete-namespace`
- Added `delete-definitions`
- Added `rename-definition`
- Added `move-definition`
- Updated `mcp.md` transcripts
@stew stew requested a review from ChrisPenner December 30, 2025 18:05
@aryairani
Copy link
Contributor

@kn0ll Hey thanks, this is great.

As a loose end, we might want to include a couple of examples in the descriptions for move, and rename; you could borrow them from from the move-related transcripts.

Could also add support for moveTo.

Copy link
Member

@ChrisPenner ChrisPenner left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Awesome! Well done, this looks great!

Please add your name to the CONTRIBUTORS file, but after that I think it's ready to roll 😎

@kn0ll kn0ll changed the title Adding MCP commands: "rename", "move", "delete", "delete.namespace" Adding MCP commands: "rename", "move", "moveTo", "delete", "delete.namespace" Jan 2, 2026
@kn0ll
Copy link
Contributor Author

kn0ll commented Jan 2, 2026

@ChrisPenner @aryairani updated 🤙

@aryairani aryairani merged commit 7c0c45a into unisonweb:trunk Jan 3, 2026
16 of 17 checks passed
@aryairani aryairani mentioned this pull request Jan 3, 2026
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.

3 participants