Skip to content

Replace mcp-server dependency with mcp package#1

Open
faezs wants to merge 12 commits into
mainfrom
claude/switch-mcp-dependency-CHD9w
Open

Replace mcp-server dependency with mcp package#1
faezs wants to merge 12 commits into
mainfrom
claude/switch-mcp-dependency-CHD9w

Use Paths_agda_mcp for test fixture locations

c3d3e6f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 errors

The logs for this run have expired and are no longer available.