15 Jul 26
short guide to build mcp servers (sample)
by patux
1 week ago
05 May 26
A toolkit for spec-driven software development. Stop writing prompts, start writing specs. Ship better quality software and minimize slop.
04 May 26
yogthos/chiasmus: Chiasmus is an MCP server that gives language models access to formal verification
Chiasmus is an MCP server that gives language models access to formal verification - yogthos/chiasmus
14 Apr 26
05 Feb 26
15 Jan 26
- https://news.ycombinator.com/item?id=46616529
28 Dec 25
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.
11 Aug 25
Or: The Day My Toaster Started Taking Phone Calls
25 Jul 25
- https://news.ycombinator.com/item?id=44671601
- https://ref.tools/
- https://context7.com/
01 Mar 25
- https://smithery.ai/
- https://modelcontextprotocol.io/quickstart/client
- https://www.youtube.com/watch?v=kQmXtrmQ5Zg
- https://github.com/PederHP/mcpdotnet/
- https://github.com/lastmile-ai/mcp-agent?tab=readme-ov-file