Yogthos (auto-discovered)

A developer shares a practical workflow for LLM-assisted development, describing how to manage models like DeepSeek to reliably produce useful code. The author notes that LLMs excel at boilerplate tas…

WaveScope, a new MCP server, uses wavelet transforms to give AI coding tools a multi-resolution view of codebases, enabling them to zoom in and out of hierarchical code structures like classes and mod…

Researchers have developed Chiasmus, an MCP server that gives large language models access to formal reasoning engines for code analysis, combining Z3 constraint solving and Tau Prolog logic programmi…