ipm-rpc

Overview ¶

Command ipm-rpc is the infinite.pm language server. It speaks the Language Server Protocol over stdio and serves IDE features for ipmt sources and for ipmt fences embedded in Markdown.

This file's responsibility:

• flag parsing (--verbose, --quiet, --stdio, --version)
• structured logging via pkg/ipm/log
• stdio transport setup using jrpc2's LSP framing channel
• server lifecycle (run, signal handling, graceful shutdown)

The actual LSP method dispatch lives in server.go. The workspace commands (ipm.embed / ipm.embedBuffer / ipm.check) are in commands.go and embed_buffer.go. Semantic-token emission is in tokens.go.

Design notes: docs/ipm-rpc.md.