short guide to build mcp servers (sample)

A toolkit for spec-driven software development. Stop writing prompts, start writing specs. Ship better quality software and minimize slop.

Chiasmus is an MCP server that gives language models access to formal verification - yogthos/chiasmus

• https://news.ycombinator.com/item?id=46616529

A Model Context Protocol (MCP) server that facilitates structured, progressive thinking through defined stages. This tool helps break down complex problems into sequential thoughts, track the progression of your thinking process, and generate summaries.

Web Search MCP Server for use with Local LLMs A TypeScript MCP (Model Context Protocol) server that provides comprehensive web search capabilities using direct connections (no API keys required) with multiple tools for different use cases.

Features Multi-Engine Web Search: Prioritises Bing > Brave > DuckDuckGo for optimal reliability and performance Full Page Content Extraction: Fetches and extracts complete page content from search results Multiple Search Tools: Three specialised tools for different use cases Smart Request Strategy: Switches between playwright browesrs and fast axios requests to ensure results are returned Concurrent Processing: Extracts content from multiple pages simultaneously

Or: The Day My Toaster Started Taking Phone Calls

• https://news.ycombinator.com/item?id=44671601
• https://ref.tools/
• https://context7.com/