{"type":"video","version":"1.0","html":"<iframe src=\"https://www.loom.com/embed/c4f76e00cf7040fe9dd8a560a582ff4b\" frameborder=\"0\" width=\"2370\" height=\"1777\" webkitallowfullscreen mozallowfullscreen allowfullscreen></iframe>","height":1777,"width":2370,"provider_name":"Loom","provider_url":"https://www.loom.com","thumbnail_height":1777,"thumbnail_width":2370,"thumbnail_url":"https://cdn.loom.com/sessions/thumbnails/c4f76e00cf7040fe9dd8a560a582ff4b-6198293851a1cde3.gif","duration":1008.8401,"title":"Using Unison MCP server for coding assistance 🚀","description":"Prompts used in this video: https://github.com/unisoncomputing/unison-llm-support/tree/main\nClaude transcript: https://claude.ai/share/301cbe01-ed34-4d31-9575-ad114f1314db\nSetup: https://github.com/unisonweb/unison/blob/trunk/docs/mcp.md\n\nThis video demos use of Unison'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:\n\n* Find Unison libraries to use, searching descriptions and reading through READMEs\n* Read a library's documentation, source code, and function signatures and come prepared to answer questions or write valid Unison code \n* Write Unison code, passing it through the typechecker and fixing type errors and getting tests to pass\n* Write tests and documentation\n* Find definitions by name or by type\n* Learn about a function by reading its docs and/or source, diving into its dependencies as needed\n* Find call sites of a function and summarize how it's used"}