"NASA" matching MCP servers:

MCP server that serves an LLM operational constitution (SWEBOK v4.0 and NASA Power of 10) to coding agents, providing tools to query constitution sections, knowledge areas, and verification gates, and a scanner that detects placeholder/scaffold violations in generated code.

A collection of MCP servers providing utilities including user greeting, message decoding, text file reading with PDF summary generation, and NASA-quality code auditing using a trained AI model to predict software defects and measure code complexity.

MCP server for elaborated SystemVerilog and gate-level netlists. Agents query design structure against a real elaboration - what drives this net, what a module instantiates, what registers are in a fanin cone - instead of reading RTL files. Answers come from najaeda's netlist engine, so they reflect post-elaboration connectivity across hierarchy, not text matches.