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 who work with architecture, code intelligence and developer productivity and want it reachable from Claude, Cursor, VS Code, or another MCP client. The project is written in Python.

VERIFIED ACTIVE

LAST COMMIT 2026-09-12 · ★ 11 · #44 OF 168 MAINTAINED DATABASE · VERIFIED 2026-09-18

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.6.0 · 2026-09-12

DevTime v0.6.0 - freshness you can rely on, and honest scan state · v0.5.1 fixed results that were wrong. This release fixes results that were · stale while claiming to be current, which is the same failure wearing a…

v0.5.1 · 2026-09-05

DevTime v0.5.1 - three false SUPPORTED results, fixed · An external review of v0.5.0 reproduced three cases where dtc verify reported · SUPPORTED with no justifying evidence. All three reproduced against the released…

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.…

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

category
database - ranked #44 of 168 actively-maintained database servers as of 2026-09-18.
release cadence
10+ releases in the last 90 days (latest 2026-09-12)
registry
io.github.Shakargy/devtime (active, first published 2026-07-05 · 8 versions)
packages
pypi:devtime-ei

06 · Dev Time FAQ

What is Dev Time?

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.

Is Dev Time still maintained?

Yes - as of 2026-09-18, its last commit was 2026-09-12 and it shipped 10+ 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