개요

An MCP server that hosts finite state machines as dynamic resources that clients can subscribe to and be updated when their state changes. A work in progress. Much is done, a few bits remain to be done. * [x] Unit tests for tool code * [x] Integration tests for MCP server (both SSE and StreamableHttp) * [x] SSE transport * [x] StreamableHttp transport * [x] Multiple simultaneous client connections (both transports) * [x] Create puzzles (state machines) as dynamic resources * [x] Subscribe to puzzles * [x] Receive update notifications when puzzles change * [x] Get puzzle snapshot (current state and available actions) * [x] Change puzzle state by performing action on puzzle * [ ] Resource creation by puzzle state (used by agents and guard prompts) * [ ] Transition guard prompt creation (uses resources by state) * [ ] Transition guard via sampling * [ ] Command line REPL * [ ] Demo via REPL Collaboration and coordination are related but different problems.

README

설치

This server does not publish a one-line install command.