Configure Dojo projects by setting up Scarb.toml, managing permissions, creating profile files, defining namespaces, and handling external contracts and dependencies with Sensei MCP’s guidance.
Retrieve a list of downloaded markdown files from the Markdown Downloader MCP server, optionally filtered by subdirectory, for easy file management and organization.
Analyze file structure and extract key symbols using AST parsing to provide code summaries without external dependencies. Accepts absolute or relative file paths.
A configurable proxy that filters GitHub MCP server tools via YAML whitelist, reducing context consumption from 100+ tools to only the ones you need while providing meta-tools to discover available functionality.
Enables AI agents to safely explore directories, read files, search content by pattern or filename, and edit files with checksum verification and dry-run preview within sandboxed filesystem access.
An MCP server that enables users to download webpages as markdown files using r.jina.ai service, with features for configurable download directories and automatic date-stamped filenames.