Developer Tools & Repos MCP Servers

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.

Give your bot an identity!

BlockDex: Search shadcn-compatible components across public registries.

Universal MCP Server orchestrating BMAD planning and Ralph autonomous execution

BOCU-1 signature, input discarded

Unofficial MCP server for BOJ (solved.ac)

MCP codebase context server: routes, schema, call graphs, health, type recovery. AST precision, one npx call.