Utah Salt Lab
# Rethink_Sec_Code_Eval Unit test for the code generated on SecCodePLT. The Link to the paper: https://arxiv.org/pdf/2503.15554? <!--ts--> * [Directory…
Directory
Search MCP Servers
Code Reviewer Fixer Agent
This AI agent analyzes code repositories, detects potential security vulnerabilities, reviews code quality, and suggests fixes based on Sentry error logs using…
Claude-Optimized Deployment Engine (CODE)
Claude-Optimized Deployment Engine (CODE) - AI-powered infrastructure automation platform with Rust-accelerated Circle of Experts system. Features 20x…
NCCI Claims Validation — CPT Code Pair Edits + MUE Limits
Validate CPT/HCPCS code pairs against NCCI edits. Check if codes can be billed together, what modifiers are needed, and MUE unit limits. Prevents claim…
Skylos
Dead code detection, security scanning, and code quality analysis for Python, TypeScript, and Go. 98% recall with 3x fewer false positives than Vulture. 5…
Quality Clouds Hub
AI code governance rules injected into Cursor, Claude Code and other MCP clients at generation time.
Twira
Coding power tools for AI agents. 18 deterministic MCP tools: code-graph search, SAST, blast radius, wire-level PII redaction, signed audit chain. Works with…
Joern (Code Analysis)
Integrates with Joern's code analysis capabilities to enable static code analysis, vulnerability identification, and code structure understanding through a…
Code Analysis
Integrates code analysis using a Neo4j graph database to enable structural insights, quality metrics, and natural language querying of codebases.
Vnsh
<p align="center"> <img src="https://vnsh.dev/logo.svg" alt="vnsh logo" width="120" /> </p> <h1 align="center">vnsh</h1> <p align="center"> <strong>The…
Rebar Mcp
Reinforcement for AI-generated code. Enforcement hooks, quality audits, and compliance packs that prevent AI coding tools from shipping broken code.
Prism Scanner
Security scanner for AI Agent skills, plugins, and MCP servers. 39+ detection rules with AST taint tracking, A-F grading, and post-uninstall residue cleanup.
TACIT: Tracked Agent Capabilities In Types
TACIT (Tracked Agent Capabilities In Types) is a safety harness for AI agents. Instead of calling tools directly, agents write code in Scala 3 with capture…
Code Review
Enables automated code reviews through multiple LLM providers by analyzing repository structures and evaluating code for security, performance, quality, and…
Asterisk MCP Server
Asterisk Model Context Protocol (MCP) server.
Table of Contents
A secure, isolated environment for exploring Python development with Model Context Protocol (MCP) and Language Server Protocol (LSP)
npm-package-mcp-server
The npm-package-mcp-server allows users to efficiently access and analyze source code from any NPM package. With features like smart file discovery and…
Accessibilityai
Open-source MCP server that scans URLs for WCAG 2.1 accessibility violations, generates AI-powered code fixes, re-verifies them, and produces full VPAT 2.5 /…
VibeCheck Web tester
An intelligent security agent that analyzes AI-generated code for vulnerabilities and assists with remediation.
Arcwall Security
Security scanning for Claude Code, Cursor, Windsurf. Detects secrets, scans MCP configs, generates threat models.
Snyk
Enhance security posture by embedding Snyk vulnerability scanning directly into agentic workflows.
Trust
Detect live website vulnerabilities and security flaws in GitHub repositories using automated DAST and SAST scanning. Safeguard applications by identifying…
Tls Radar
Run SSL/TLS scans, issue free Let's Encrypt certificates (private key stays local), and monitor certificate expiry from inside Claude Code or Cowork - through…
Project Scope
A production-ready MCP server that gives AI agents deep codebase understanding. Features AST-based semantic analysis, context-aware security scanning (zero…