verso-mcp
by nvlang
Server Configuration
Describes the environment variables required to run the server.
| Name | Required | Description | Default |
|---|---|---|---|
| VERSO_MCP_CACHE | No | Cache directory path. Default: ~/.cache/verso-mcp. | ~/.cache/verso-mcp |
| VERSO_MCP_SITES | No | Comma-separated alias=url site list. Default: Lean Language Reference. | lean-reference=https://lean-lang.org/doc/reference/latest/ |
| VERSO_MCP_RATE_BURST | No | Token-bucket burst capacity. Default: 5. | 5 |
| VERSO_MCP_RATE_PER_SEC | No | Sustained outbound request rate (requests/second). Default: 2. | 2 |
| VERSO_MCP_RATE_MAX_WAIT | No | Max seconds to wait for a token before refusing. Default: 3. | 3 |
Capabilities
Server capabilities have not been inspected yet.
Tools
Functions exposed to the LLM to take actions
| Name | Description |
|---|---|
No tools | |
Prompts
Interactive templates invoked by user choice
| Name | Description |
|---|---|
No prompts | |
Resources
Contextual data attached and managed by the client
| Name | Description |
|---|---|
No resources | |
Latest Blog Posts
- Who's Calling? MCP Hosts Are an Identity Blind Spot (And the Spec Knows It)By Om-Shree-0709 on .mcpAgent IdentityOAuth 2.1
- Your AI Chatbot Just Exposed Your CEO's Salary to an InternBy Om-Shree-0709 on .Agent IdentityMCP SecurityOAuth Delegation
- Why MCP Servers Need Execution Sandboxing (And Why Your Current Stack Isn't Enough)By Om-Shree-0709 on .Agentic AiPrompt InjectionWebAssembly
MCP directory API
We provide all the information about MCP servers via our MCP API.
curl -X GET 'https://glama.ai/api/mcp/v1/servers/nvlang/verso-mcp'
If you have feedback or need assistance with the MCP directory API, please join our Discord server