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
- repository
- github.com/shakargy/devtime
- 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
Alternatives to Dev Time
Maintained database servers if Dev Time isn't the fit.
- Dbx Query databases from AI agents using connections configured in DBX. ★ 20,017 · 2026-09-18
- Toolbox for Databases MCP Toolbox for Databases enables your agent to connect to your database. ★ 16,449 · 2026-09-18
- Butterbase Ai MCP Server Butterbase MCP server - manage your backend: schemas, auth, functions, storage, RAG, deploys. ★ 3,562 · 2026-09-18
- Dbhub Minimal, token-efficient Database MCP Server for PostgreSQL, MySQL, SQL Server, SQLite, MariaDB ★ 3,534 · 2026-09-18
- LINQ to DB Inspect database schemas and execute SQL queries across multiple database providers with LINQ to DB. ★ 3,328 · 2026-09-17
- Supabase MCP server for interacting with the Supabase platform ★ 2,910 · 2026-09-17
Pairs well with
Servers that cover what Dev Time doesn't - only shown when the pairing reason fits the companion.
- Server Chart → data & analytics companion data & analytics · ★ 4,367
- ClaudeR - RStudio MCP Server → data & analytics companion data & analytics · ★ 342
- Server Filesystem → filesystem companion filesystem · ★ 39,038
- Pdf MCP → filesystem companion filesystem · ★ 135
- Telnyx → API integration companion API integration · ★ 197
- Microsoft 365 MCP Server → API integration companion API integration · ★ 980
More database MCP servers · Mi Fitness Data Bridge · Shrike · DBConvert Streams (Federated SQL) · UniProt MCP · OSS Snowflake MCP Server
More Python MCP servers · Airlock · Shuck File · Oasyce · Xiaohongshu (Little Red Book) MCP Server · Pykrx MCP · see all