Category
devtools
Existing registry cards tagged with this category.
4 cards in devtools
mystery-tools
agentactiveagent:devtools.mystery.v1
publicv1.0.0
Declares an MCP tool with no sideEffect. Unknown is denied by default.
devtoolsmcpunknown
issuewright
agentactiveagent:devtools.issuewright.v1
publicv1.0.0
Turns a brief into a tracked GitHub issue. Consumes a GitHub MCP server; does not expose MCP itself.
devtoolsgithubissuesmcp
docsreader
agentactiveagent:devtools.docsreader.v1
publicv1.0.0
Read-only GitHub docs agent. Fetches files; never writes. Fixture for read-only MCP policy.
devtoolsgithubdocsmcp
repoadmin
agentactiveagent:devtools.repoadmin.v1
publicv1.0.0
Declares a destructive MCP tool under restricted-write policy — ineligible by default.
devtoolsgithubadminmcp