Chore ref fix (github#236)

* chore: fix name and add tools.json

Signed-off-by: Ivan Pedrazas <[email protected]>

Author: ipedrazas

servers/Ref/server.yaml renamed to servers/ref/server.yaml

@@ -1,4 +1,4 @@
-name: Ref
+name: ref
 image: mcp/ref-tools-mcp
 type: server
 meta:
@@ -15,6 +15,6 @@ source:
 config:
     description: Configure the connection to Ref
     secrets:
-        - name: Ref.REF_API_KEY
+        - name: ref.REF_API_KEY
           env: REF_API_KEY
-          example: ref-abcdefghi123
+          example: ref-abcdefghi123

servers/ref/tools.json

@@ -0,0 +1,39 @@
+[
+  {
+    "name": "ref_read_url",
+    "description": "A tool that fetches content from a URL and converts it to markdown for easy reading with Ref. \n\nThis is powerful when used in conjunction with the ref_search_documentation or ref_search_web tool that return urls of relevant content.",
+    "arguments": [
+      {
+        "name": "url",
+        "type": "string",
+        "desc": "The URL of the webpage to read."
+      }
+    ]
+  },
+  {
+    "name": "ref_search_documentation",
+    "description": "A powerful search tool to check technical documentation. Great for finding facts or code snippets. Can be used to search for public documentation on the web or github as well from private resources like repos and pdfs.",
+    "arguments": [
+      {
+        "name": "query",
+        "type": "string",
+        "desc": "Query to search for relevant documentation. This should be a full sentence or question."
+      },
+      {
+        "name": "keyWords",
+        "type": "array",
+        "items": {
+          "type": "string"
+        },
+        "desc": "A list of keywords to use for the search like you would use for grep",
+        "optional": true
+      },
+      {
+        "name": "source",
+        "type": "string",
+        "desc": "Defaults to 'all'. 'public' is used when the user is asking about a public API or library. 'private' is used when the user is asking about their own private repo or pdfs. 'web' is use only as a fallback when 'public' has failed.",
+        "optional": true
+      }
+    ]
+  }
+]