Development Tools

A specialized MCP server that integrates with Solodit's vulnerability database to search and retrieve detailed smart contract security audit findings and vulnerability reports.

A highly efficient task management server that allows AI to manage structured todo lists across Markdown, JSON, and YAML formats with built-in WIP management and duplicate prevention.

Interact with CodeLogic, a Software Intelligence platform that graphs complex code and data architecture dependencies, to boost AI accuracy and insight.

An MCP server that enables interaction with running Clojure nREPL instances, offering capabilities for code evaluation, namespace inspection, and public var metadata retrieval.

Open-source AI development assistant via Model Context Protocol (MCP). Turn Claude or any LLM into your personal coding assistant. Privacy-first with local semantic search, AI-assisted editing, persistent memory, and quality-checked code generation. Built for Python & React. Free alternative to paid AI coding tools.

A persistent Python REPL environment that allows for interactive code execution, stateful variable management, and dynamic package installation via PyPI.

A robust MCP server wrapping the Google Gemini SDK, enabling advanced text generation, multimodal URL analysis of images and YouTube videos, high-quality image generation, and acting as a proxy/client for other MCP servers.

A professional MCP server for managing Ludus lab environments, enabling natural language orchestration of virtualized training ranges, configuration validation, and documentation search.

Provides access to coinmarketcap cryptocurrency data.

A comprehensive MCP server for managing WordPress sites, offering over 130 tools to control content, files, e-commerce, themes, and server-side operations via the REST API and a specialized plugin.

A robust browser automation and accessibility auditing server that uses Playwright and Axe-core to perform WCAG compliance checks and handle complex web interactions.

A specialized MCP server for deep static analysis that uses Joern's Code Property Graph (CPG) to perform semantic analysis, taint tracking, and control-flow graphing across multiple programming languages.

A secure Python code execution environment using Docker containers that provides isolated sandboxes for running code, managing packages, and generating files for LLMs.

MCP (Model Context Protocol) Server. Enables AI to interact with Emacs by generating and executing Elisp code for buffer manipulation, text editing, and configuration changes without requiring users to write Elisp themselves.

Demo of ADK (Agent Development Kit) as an MCP (Model Context Protocol) client for flight search capabilities.

Running Microsoft's BitNet inference framework via FastAPI, Uvicorn and Docker.

A bridge between Oracle Database and LLMs, providing secure access to specific tables and columns with query execution and result retrieval capabilities. It allows for natural language interactions with Oracle DB while maintaining control through whitelisting.

A powerful bridge that allows AI assistants to query and analyze cloud infrastructure across 100+ services using SQL and natural language through Steampipe.

SpecLinter MCP transforms natural language specifications into structured development tasks with AI-powered quality grading, similarity detection, and automated Gherkin test scenario generation.

Content moderation and profanity detection MCP server with 19 tools, 24 language support, leetspeak/Unicode obfuscation detection, context-aware analysis, batch processing, and user tracking for AI-powered content safety.

A Golang documentation MCP server that enables LLMs to search for packages on pkg.go.dev and retrieve detailed package information and subpackage structures.

A robust Model Context Protocol server that enables LLMs to interact with file systems through advanced reading, searching, and code quality analysis with optimized LRU caching.

A database-driven Java code generation tool based on the MCP architecture that automates the creation of layered code including Entity, DAO, Service, and Controller with support for MyBatis and Spring Boot.

A comprehensive MCP server for multimodal analysis that integrates Google Gemini and Vertex AI to perform image description, object detection, and video analysis with optimized file handling.

A specialized MCP server for interacting with Apache Iceberg catalogs, allowing users to explore data lake structures including namespaces, tables, and schemas via REST or AWS Glue catalogs.

An MCP server that allows Claude to render and preview Mermaid diagrams in real-time with live reload functionality and multiple export formats.

A comprehensive threat intelligence MCP server that integrates with ThreatBook's API to provide 15 specialized tools for IP reputation, domain analysis, file sandbox scanning, and vulnerability intelligence.

MCP (Model Context Protocol) Server. Static Code Analysis and Visualization. Convert Code to UML and Flow Diagram and explain by AI.

A Jina AI powered MCP server that provides tools for web content extraction and web searching, featuring automatic pagination, caching, and GitHub URL optimization.

A high-performance theorem prover and agentic runtime that combines Lean4-style formal verification with WebAssembly execution, vector-backed episodic memory, and cryptographic proof signatures.