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-24 · ★ 11 · #49 OF 174 MAINTAINED DATABASE · VERIFIED 2026-09-30
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.7.0 · 2026-09-24
DevTime v0.7.0 - review a change by what it does to your claims · A reviewer does not need a list of changed files. They need to know what the · change did to what the repository can support. dtc review answers that.…
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…
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 #49 of 174 actively-maintained database servers as of 2026-09-30.
- release cadence
- 9 releases in the last 90 days (latest 2026-09-24)
- registry
- io.github.Shakargy/devtime (active, first published 2026-07-05 · 9 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-30, its last commit was 2026-09-24 and it shipped 9 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. ★ 22,689 · 2026-09-30
- Toolbox for Databases MCP Toolbox for Databases enables your agent to connect to your database. ★ 16,541 · 2026-09-30
- Butterbase Ai MCP Server Butterbase MCP server - manage your backend: schemas, auth, functions, storage, RAG, deploys. ★ 3,683 · 2026-09-29
- Dbhub Token-efficient database MCP server for PostgreSQL, MySQL, MariaDB, SQL Server, Oracle, SQLite ★ 3,587 · 2026-09-28
- LINQ to DB Inspect database schemas and execute SQL queries across multiple database providers with LINQ to DB. ★ 3,331 · 2026-09-30
- Supabase MCP server for interacting with the Supabase platform ★ 2,926 · 2026-09-28
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,388
- Keboola MCP Server → data & analytics companion data & analytics · ★ 86
- Server Filesystem → filesystem companion filesystem · ★ 39,168
- Pdf MCP → filesystem companion filesystem · ★ 145
- Telnyx → API integration companion API integration · ★ 197
- Microsoft 365 MCP Server → API integration companion API integration · ★ 1,002
More database MCP servers · Mi Fitness Data Bridge · DBConvert Streams (Federated SQL) · UniProt MCP · OSS Snowflake MCP Server · BigQuery MCP
More Python MCP servers · Airlock · Shuck File · Oasyce · Xiaohongshu (Little Red Book) MCP Server · Pykrx MCP · see all