Advertisement · 728 × 90

Posts by

Disagree, it all starts with an idea, a concept.

2 months ago 0 0 1 0
VScode ionide path to mcp-server · Issue #3 · jovaneyck/fsi-mcp-server Hi Jo, Really nice integration of the fsi and LLMs. I used Co-Pilot in VScode with the Ionide plugin. Just a remark from my experience. For me to get it to work I needed to reference the fsi-mcp-se...

I use fsi-mcp in VScode by using the steps as mentioned under github copilot integration github.com/jovaneyck/fs..., only amendement to the steps is this github.com/jovaneyck/fs... .

3 months ago 1 0 0 0
Language Support — Serena Documentation

Seems it is already out there oraios.github.io/serena/01-ab... supported from .NET8.

3 months ago 2 0 1 0
Preview
Add F# support using FsAutoComplete LSP by dsyme · Pull Request #662 · oraios/serena This adds F# support by the usual path, using the standard F# LSP Using Serena with F# Projects This guide demonstrates how to use Serena's tools with F# projects through both the MCP protocol...

Then there is the Serena mcp-server work done by @dsyme.bsky.social et al. github.com/oraios/seren.... That is not fsi but F# code base discovery.

3 months ago 2 0 1 0

The cycle is complete by routing stdout/stderr back to the mcp client and to console.

3 months ago 0 0 0 0

The way @jovaneyck.bsky.social implemented the fsi mcp server it is an ASP.NET webserver to connect to using an mcp client, and a stdio redirect for the send-to-fsi from ionide both send to fsi.exe process. To do this in VScode would require something similar or maybe using F# compiler service.

3 months ago 0 0 1 0
Preview
GitHub - jovaneyck/fsi-mcp-server: A wrapper around F# interactive (fsi) that exposes an MCP server endpoint for AI agents allowing for fsi IO. A wrapper around F# interactive (fsi) that exposes an MCP server endpoint for AI agents allowing for fsi IO. - jovaneyck/fsi-mcp-server

Lately I started using VScode-ionide-copilot-mcp-server combi, that is giving me even better results. github.com/jovaneyck/fs...

3 months ago 4 1 1 0
Advertisement