1. Conduid
  2. Social
  3. Dev Servers
MCP server · Social

Dev Servers

Six MCP servers (58 tools) for Claude Code: git, GitHub, .NET, Rust, Ollama, template-sync. One pip install.

34Low

Scored a month ago · breakdown

About Dev Servers

Dev Servers is an MCP server published by dagonet in the Social category: six MCP servers (58 tools) for Claude Code: git, GitHub, .NET, Rust, Ollama, template-sync. One pip install.

The repository has 2 stars and 0 forks, with the last commit a month ago. Recent commit activity is the strongest signal that reported issues will get attention.

Install

From source
git clone https://github.com/dagonet/mcp-dev-servers

This server has no ConduID identity, so agent calls to it are not receipted. Pin the version you install and review the source before granting it credentials.

Tools (34)

git_addStage specific files

Parameters not published.

git_archiveProduce a tarball or zip of a tree at a given ref

Parameters not published.

git_branch_createCreate a branch without checking it out

Parameters not published.

git_branch_deleteDelete a local branch (safe against current branch)

Parameters not published.

git_branch_listList branches

Parameters not published.

git_checkoutCheckout branch/tag/commit

Parameters not published.

git_clean_dry_runList files `git clean -fd` would remove (read-only)

Parameters not published.

git_commitCreate a commit

Parameters not published.

git_config_getRead a single git config key

Parameters not published.

git_config_setSet a single git config key (allowlisted keys only)

Parameters not published.

Show all 34 tools
git_describeDerive a human-readable version string from a commit

Parameters not published.

git_diffFull diff output

Parameters not published.

git_diff_summaryCompact diffstat summary

Parameters not published.

git_env_infoDiagnostic info about git installation

Parameters not published.

git_fetchFetch from remote without merging

Parameters not published.

git_logRecent commit history

Parameters not published.

git_pullPull from remote

Parameters not published.

git_pushPush to remote (branches + optional `--tags`)

Parameters not published.

git_rebaseRebase current branch onto another ref (non-interactive only)

Parameters not published.

git_reflogRead reflog entries for HEAD or a specific ref

Parameters not published.

git_remote_listList configured remotes

Parameters not published.

git_resetReset HEAD to ref (soft/mixed/hard)

Parameters not published.

git_restoreRevert working-tree changes for files

Parameters not published.

git_revertCreate a revert commit (merge-safe recovery)

Parameters not published.

git_rmRemove files from tracking

Parameters not published.

git_showShow commit details

Parameters not published.

git_stashStash operations (push/pop/list/drop/clear)

Parameters not published.

git_statusFast porcelain git status

Parameters not published.

git_tag_createCreate an annotated or lightweight tag

Parameters not published.

git_tag_deleteDelete a local tag

Parameters not published.

git_tag_listList tags

Parameters not published.

git_worktree_addAdd a worktree on a new or existing branch

Parameters not published.

git_worktree_listList worktrees with parsed branch / detached / locked / prunable flags

Parameters not published.

git_worktree_removeRemove a worktree; returns the freed branch name for optional cleanup

Parameters not published.

Ask AI

✦

Ask AI about Dev Servers

Powered by Claude · Grounded in docs

I know everything about Dev Servers. Ask me about installation, configuration, usage, or troubleshooting.

Security checks

6 checks have not been run yet.

Questions

About Dev Servers

How do I install Dev Servers?

No package has been published for this server, so install it from source: clone the repository and follow its README.

Is Dev Servers safe to use with an AI agent?

Its trust score is 34 out of 100 (low). Conduid hasn't run static security checks on this repository yet, so review the source yourself before granting it credentials. It has no ConduID identity yet, so agent calls to it are not receipted.

Is Dev Servers still maintained?

Yes — the last commit was a month ago. The repository has 2 stars and 0 forks.