<?xml version="1.0" encoding="UTF-8"?><oembed><type>video</type><version>1.0</version><html>&lt;iframe src=&quot;https://www.loom.com/embed/c4f76e00cf7040fe9dd8a560a582ff4b&quot; frameborder=&quot;0&quot; width=&quot;2370&quot; height=&quot;1777&quot; webkitallowfullscreen mozallowfullscreen allowfullscreen&gt;&lt;/iframe&gt;</html><height>1777</height><width>2370</width><provider_name>Loom</provider_name><provider_url>https://www.loom.com</provider_url><thumbnail_height>1777</thumbnail_height><thumbnail_width>2370</thumbnail_width><thumbnail_url>https://cdn.loom.com/sessions/thumbnails/c4f76e00cf7040fe9dd8a560a582ff4b-6198293851a1cde3.gif</thumbnail_url><duration>1008.8401</duration><title>Using Unison MCP server for coding assistance 🚀</title><description>Prompts used in this video: https://github.com/unisoncomputing/unison-llm-support/tree/main
Claude transcript: https://claude.ai/share/301cbe01-ed34-4d31-9575-ad114f1314db
Setup: https://github.com/unisonweb/unison/blob/trunk/docs/mcp.md

This video demos use of Unison&apos;s MCP server, included in recent releases of Unison (since 0.5.45). In the video I write some simple functions, ask it to learn about a library, write docs, and write an echo server. Here are a few things you can do with it, using your favorite coding assistant:

* Find Unison libraries to use, searching descriptions and reading through READMEs
* Read a library&apos;s documentation, source code, and function signatures and come prepared to answer questions or write valid Unison code 
* Write Unison code, passing it through the typechecker and fixing type errors and getting tests to pass
* Write tests and documentation
* Find definitions by name or by type
* Learn about a function by reading its docs and/or source, diving into its dependencies as needed
* Find call sites of a function and summarize how it&apos;s used</description></oembed>