Developer Tools & Repos MCP Servers for DeepSeek Harness

Algorithm Finder MCP — which algorithm, data structure or technique fits a computational problem…

Alt-Svc h3 host:port shape, value discarded

ANTLR grammar rule count, body discarded

Random UUID v4 (RFC 9562) as an HTTP API: 1-100 UUIDs per call, in uuid, URN, hex or integer...

Build and update complete applications in Apper through AI assistants using MCP.

Manage SysML2 projects; check, evaluate, verify, query, document and diagram models.

React components and blocks with motion. Search docs, props and shadcn install commands.

Evidence-qualified architecture context for coding agents.

arXiv URI id shape, value discarded

Current local time in Asia/Urumqi.

at-handle charset, value discarded

Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.

Codebase intelligence MCP server — index any repo into a property graph; 26 tools for agents.

Offline catalog of 187k developer tools from 1032 awesome lists: search, explain, facets.

Codebase intelligence for agents: 152 structured artifacts across 21 programs, one call.

Base64 padding shape, input discarded

BBCode tag count, body discarded

Bech32 id hrp shape, value discarded

begin-line mode shape, input discarded

Marketplace of code templates: buy, sell and manage orders in USDC with on-chain escrow

A simple MCP server for adding pull request review functionality for users of bitbucket.