"Help with Writing Articles" matching MCP servers:

A calibrated faithfulness screen for informal↔Lean 4 statement pairs, served over MCP. It provides deterministic checks and deep LLM-based analysis to help draft Lean statements.

MCP server that provides a 216-rule, framework-aware Kotlin/JVM security analyzer, enabling AI coding agents to query real security findings while writing code.

Provides software design guidance via MCP, including SOLID principles, design patterns, pattern scaffolding, and heuristic code-smell detection to help review and refactor code.

AI reads your codebase like a book - one page at a time. Pharaoh gives it the index and a map of how every chapter connects.

A read-only MCP server that provides LLMs with introspection data and documentation for the Freqtrade codebase. It enables AI tools to access class signatures, method details, and configuration schemas to assist in writing more reliable trading strategies.

An accessibility expert MCP server that provides AI coding assistants with real-time access to WAI-ARIA patterns, code review, contrast checking, and WCAG guidance for writing accessible code from the start.

An MCP server that provides coding models with a live code index, inferred code graph, durable memory, and surgical tools to help them leverage their existing reasoning and coding abilities effectively.

Provides coding agents with a live registry of class definitions and constructor signatures from the codebase, enabling verification of calls before writing them to prevent hallucinated parameters.

A local-first MCP preflight system to help AI inspect Python repositories before generating code, enabling reuse, extend, or create decisions. Currently in early development with only foundational modules implemented.

MCP server for Python API verification and projection, enabling AI coding agents to detect non-existent APIs and retrieve exact API surfaces before writing code.

Enables structured, iterative reasoning for complex problem-solving with features like confidence tracking, revision mechanisms, and branching support. Provides flexible validation and multiple output formats for systematic analysis and decision-making tasks.

Breaking-change diffs for npm packages, served over REST and MCP, so coding agents stop writing code against outdated API knowledge.

Provides AI-powered assistance for Microsoft Business Central (BC) development, enabling users to get expert help with debugging, coding, upgrades, testing, and more through specialized AI agents.

locidx

A local semantic memory and code-indexer that uses AST parsing for structural understanding and persists architectural decisions to help AI assistants bypass context window limits.

Enables mapping JavaScript error stack traces back to original source code, extracting context information to help developers locate and fix issues.

A toolkit for analyzing subreddits and post patterns to help choose communities and shape posts using real data, running as an MCP server and command-line tool.

Enables read-only binary diff and fingerprinting of files without writing to disk, providing structured diffs and per-section SHA-256 hashes.

Provides grounded answers for writing Minecraft mods, targeting 1.8.9 and 1.21.10+ eras with curated and live tools for mappings, APIs, and mixins.

A lightweight, configurable server that fetches coding guidelines, security rules, and validation patterns from external sources to help development teams maintain code quality standards in WordPress projects.