Dev Time MCP Server

DevTime verifies what your repository can actually prove. A file named stripe/webhook.ts looks like proof that a repo handles Stripe webhooks. It might be a handler that only returns 404. DevTime checks statements about a repository against its implementation, tests, configuration, and recorded decisions, then reports what is supported, what is contradicted, what is missing, and what went stale.

People connecting database tools to Claude, Cursor, VS Code, or another MCP client. The project is written in Python.

VERIFIED ACTIVE

LAST COMMIT 2026-08-12 · ★ 11 · #52 OF 151 MAINTAINED DATABASE · VERIFIED 2026-08-25

Apache-2.0 · Python servers · how we verify → /methodology

01 · Install Dev Time

Claude Code

claude mcp add shakargy-devtime -- uvx devtime-ei

Claude Desktop / Cursor / VS Code - add to config

{
  "mcpServers": {
    "shakargy-devtime": {
      "command": "uvx",
      "args": [
        "devtime-ei"
      ]
    }
  }
}

Same JSON for Cursor. For VS Code, rename the top-level key from `mcpServers` to `servers`.

Using another client? Same JSON, different key

Claude Desktop · mcpServers

Cursor · mcpServers

VS Code · servers

Windsurf · mcpServers

Zed · context_servers

Cline · mcpServers

Roo Code · mcpServers

Continue · mcpServers

LibreChat · mcpServers

Gemini CLI · mcpServers

Codex CLI · mcp_servers

Full setup guides: every client.

02 · Evidence

Security posture

What to check before giving this server access to your agent - from the registry, GitHub, and our own probes. We don't score safety; we show what's verifiable.

runs as local process (stdio) - runs on your machine with your user's permissions

license Apache-2.0 - declared in the repository

pypi package devtime-ei - check the name against the project README before installing (PyPI has no namespace ownership)

registry namespace io.github.Shakargy is GitHub-verified and matches the repo owner

03 · What Dev Time can do

Prose above is summarized from the project's README and registry record - no invented capabilities.

Latest releases

v0.5.0 · 2026-08-12

DevTime v0.5.0 - claims that fire on ordinary repositories · The verification layer had a coverage problem. Its two claims (billing webhooks, · JWT) only apply to repositories that happen to have billing or JWT code.…

v0.4.0 · 2026-07-10

DevTime v0.4.0 - diff-aware claim impact · A pull request should tell you which verified claims it destabilizes. Now it · does. No cloud, no telemetry, no AI, no code execution - unchanged. · dtc risk --diff now…

v0.3.0 · 2026-07-10

DevTime v0.3.0 - JWT claim and the docs-vs-implementation detector · Second step of the verification layer. Two changes and one honest bug fix. No · cloud, no telemetry, no AI, no code execution - unchanged. · New…

04 · Who maintains Dev Time

DevTime is maintained by shakargy. It's the only MCP server we track from this author; the repo dates to Jun 2026.

05 · Facts

repository: github.com/shakargy/devtime
website: https://github.com/Shakargy/devtime
category: database - ranked #52 of 151 actively-maintained database servers as of 2026-08-25.
release cadence: 8 releases in the last 90 days (latest 2026-08-12)
registry: io.github.Shakargy/devtime (active, first published 2026-07-05 · 6 versions)
packages: pypi:devtime-ei

06 · Dev Time FAQ

What is Dev Time?

Is Dev Time still maintained?

Yes - as of 2026-08-25, its last commit was 2026-08-12 and it shipped 8 releases in the last 90 days. We re-verify nightly.

How do I install Dev Time?

Run `uvx devtime-ei`. You can also paste the ready-made client config above.

Does Dev Time run locally?

Yes - it's a stdio server: it runs on your machine (via uvx) with your user's permissions. Your data stays local unless the server itself calls external APIs.

07 · Alternatives to Dev Time

Alternatives to Dev Time

Maintained database servers if Dev Time isn't the fit.

Pairs well with

Servers that cover what Dev Time doesn't - only shown when the pairing reason fits the companion.

More database MCP servers · Mi Fitness Data Bridge · Uniprot MCP · OSS Snowflake MCP Server · BigQuery MCP · DBeast PostgreSQL MCP

More Python MCP servers · Shuck File · Oasyce · Xiaohongshu (Little Red Book) MCP Server · Pykrx MCP · Agentic Ledger · see all