m-dev-tools-mcp
OfficialClick on "Install Server".
Wait a few minutes for the server to deploy. Once ready, it will show a "Started" state.
In the chat, type
@followed by the MCP server name and your instructions, e.g., "@m-dev-tools-mcpfind a JSON parser in M"
That's it! The server will respond to your query, and you can continue using it as needed.
Here is a step-by-step guide with screenshots.
m-dev-tools-mcp
MCP server for the m-dev-tools org catalog. Exposes three first-class agent tools:
route_intent(query)— plain-English intent → typed IDs (e.g."parse JSON in M"→module:m-stdlib#STDJSON)describe(typed_id)— typed ID → pointer-blob (manifest URL,AGENTS.mdURL, verification commands, …)verify(repo)— list a repo's declared verification commands (does not execute them)
The server reads the catalog at https://github.com/m-dev-tools/.github over the network at call time; it is a thin wrapper, not a cache. See AGENTS.md for the contract and the AI users guide for the full walk-through.
mcp-name: io.github.m-dev-tools/m-dev-tools-mcp
Install
pip install m-dev-tools-mcp
# or:
uvx m-dev-tools-mcp
# or from a GitHub Release wheel:
pip install https://github.com/m-dev-tools/m-dev-tools-mcp/releases/download/v0.2.4/m_dev_tools_mcp-0.2.4-py3-none-any.whlPoint any MCP client at the m-dev-tools-mcp binary the install provides:
{
"mcpServers": {
"m-dev-tools": { "command": "m-dev-tools-mcp" }
}
}Or for clients that consult the public MCP registry:
io.github.m-dev-tools/m-dev-tools-mcpRelated MCP server: @restforge-dev/mcp-server
Develop
make install # creates .venv and installs editable + dev deps
make test # pytest
make check # lint + mypy + test + check-manifest + check-agents
make build # → wheel-out/m_dev_tools_mcp-<ver>-py3-none-any.whlMore
Architecture: m-dev-tools/.github's
docs/ai-discoverability/AI-discoverability-architecture.mdPlan + phases:
docs/ai-discoverability/phases/Release process: tag
vX.Y.Zonmain→.github/workflows/release.ymlbuilds the wheel, attaches it to a GitHub Release, publishes to PyPI via Trusted Publisher OIDC, and updates the MCP registry record via GitHub OIDC.
License
AGPL-3.0. Same license as every other m-dev-tools repo.
Maintenance
Resources
Unclaimed servers have limited discoverability.
Looking for Admin?
If you are the server author, to access and configure the admin panel.
Tools
Latest Blog Posts
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/m-dev-tools/m-dev-tools-mcp'
If you have feedback or need assistance with the MCP directory API, please join our Discord server