Antoine Chaffin commited on
Commit
bf43eb1
·
1 Parent(s): 8c6331d

Add remote server MCP config

Browse files
Files changed (1) hide show
  1. app.py +15 -0
app.py CHANGED
@@ -64,11 +64,25 @@ iframe2 = """
64
  frameborder="0" allowfullscreen></iframe>
65
  """
66
 
 
67
  with gr.Blocks() as demo:
68
  gr.Markdown(readme_md)
69
  gr.HTML(iframe1)
70
  gr.Markdown(readme_md2)
71
  gr.HTML(iframe2)
 
 
 
 
 
 
 
 
 
 
 
 
 
72
  gr.Markdown("# LeetCode Search")
73
  gr.Markdown(
74
  "Search in leetcode database index using PyLate and Reason-ModernColBERT"
@@ -83,4 +97,5 @@ with gr.Blocks() as demo:
83
  api_name="search",
84
  )
85
 
 
86
  demo.launch(mcp_server=True, share=True)
 
64
  frameborder="0" allowfullscreen></iframe>
65
  """
66
 
67
+
68
  with gr.Blocks() as demo:
69
  gr.Markdown(readme_md)
70
  gr.HTML(iframe1)
71
  gr.Markdown(readme_md2)
72
  gr.HTML(iframe2)
73
+ gr.Markdown("""```
74
+ {
75
+ "mcpServers": {
76
+ "MCPyLate": {
77
+ "command": "npx",
78
+ "args": [
79
+ "mcp-remote",
80
+ "https://agents-mcp-hackathon-mcpylate.hf.space/gradio_api/mcp/sse"
81
+ ]
82
+ }
83
+ }
84
+ }
85
+ ```""")
86
  gr.Markdown("# LeetCode Search")
87
  gr.Markdown(
88
  "Search in leetcode database index using PyLate and Reason-ModernColBERT"
 
97
  api_name="search",
98
  )
99
 
100
+
101
  demo.launch(mcp_server=True, share=True)