Add the docs MCP server and a skill that reaches for it - #7

Merged

abernier merged 10 commits into

mainfrom

Aug 11, 2026

Commits on Aug 11, 2026

Add the docs MCP server and a skill that reaches for it

abernier
and
claude
committed
0846bc9
Scope the docs skill to the libraries the MCP server can serve

abernier
and
claude
committed
ffbffd0
Test the docs lookup against the live MCP server

abernier
and
claude
committed
7eaa861
Keep the live server off the pull request path

abernier
and
claude
committed
db33c87
Bump the CI actions off the deprecated Node 20 runtime

abernier
and
claude
committed
788b0ea
Derive the unserved libraries instead of listing them

abernier
and
claude
committed
aad59f7
Keep only the tests that pin two files together

abernier
and
claude
committed
c2bd94c
Drop the live server check -- not this plugin's job

abernier
and
claude
committed
7e32a8b
Drop the test suite and the toolchain under it

abernier
and
claude
committed
382e994
Drop the notes about what is not tested

abernier
and
claude
committed
d9f4f05