aide
Verified Safeby CrowdHailer
Overview
This server acts as an implementation for the Model Context Protocol (MCP), providing AI models with access to defined tools, specifically demonstrated through basic mathematical operations.
Installation
gleam runSecurity Notes
The server uses standard Gleam libraries and the Wisp web framework for handling HTTP and JSON-RPC requests. Input decoding relies on `gleam/dynamic/decode` and `aide`'s internal decoders, which appear to be robust against common injection attacks. The `call_tool` implementations are simple, direct function calls (e.g., `math.add`, `math.random`), and do not involve dynamic code execution from user input. No hardcoded secrets were identified in the provided snippets. A minor risk of information disclosure exists if raw `string.inspect` error messages are returned directly to external users, though this is not a critical code execution vulnerability.
Similar Servers
fastmcp
FastMCP is an ergonomic interface for the Model Context Protocol (MCP), providing a comprehensive framework for building and interacting with AI agents, tools, resources, and prompts across various transports and authentication methods.
remote-mcp-server
This repository provides metadata for registering the Glean Remote MCP Server with the Model Context Protocol (MCP) registry, enabling AI assistants and developer tools to securely access enterprise knowledge.
tmcp
A server implementation for the Model Context Protocol (MCP) to enable LLMs to access external context and tools.
rust-mcp-schema
Provides a type-safe Rust implementation of the Model Context Protocol (MCP) schema, enabling developers to build robust MCP servers and clients.