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
# 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…
Cryptographic proof-of-commitment protocol for MCP. Make verifiable commitments before posting/acting, preventing post-hoc narrative changes.
13 tools for Primavera P6 forensic delay analysis — AACE windows (29R-03 MIP 3.3), DCMA-14 health checks, Monte Carlo SRA with AACE 122R-22 QRAMM maturity, TIA…
Preloop is the MCP Governance Layer. Add approval gates to AI tool calls. Intercept risky actions, collect human decisions, and keep an audit trail.
Dependency vulnerability scanner with EPSS exploit scoring. Scans lockfiles, prioritizes by actual exploit probability, recommends fix versions. 9 MCP tools…
An engineering governance and safety control plane for AI coding agents to enforce strict SDLC discipline, quality gates, and security branch protections.
Provides security analysis for Solana Anchor programs by exposing tools that check smart contracts against Fender security vulnerabilities directly within…
AMS – Deterministic Agent Pipeline with A2A‑style Orchestration and Cryptographic Audit
A Model Context Protocol (MCP) server for scanning IP addresses for vulnerabilities. This server provides tools to perform security scanning on individual IPs…
ClamAV MCP is a simple Model Context Protocol server that allows scanning files for viruses using the ClamAV engine. It is built for developers or AI…
Give your AI agents a wallet they can't abuse. Almega is an MCP server that puts a control layer in front of every payment: per-agent spending limits…
A Model Context Protocol (MCP) server that generates random passwords with different character sets.
CompanyLens is a remote MCP server giving AI agents instant access to official company registry data across 19 jurisdictions in Europe, the Americas, and…
pentestMCP: AI-Powered Penetration Testing via MCP, an MCP designed for penetration testers.
AGNTCY Identity allows to onboard, create and verify identities for Agents, Model Context Protocol (MCP) Servers and Multi-Agent Systems (MASs).
Release gate agents call before they tell users a public website is ready to ship. Scans public websites across security, SEO, accessibility, legal compliance…
Enhance security posture by embedding Snyk vulnerability scanning directly into agentic workflows.
GoCreative gives AI agents 385+ pay-per-call tools in one MCP — sanctions & PEP screening, KYB, OFAC crypto-wallet checks, company & contact enrichment…
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…
Tells you how you and your Claude agent actually work together. Reads your CLAUDE.md, hooks, skills, memory, and scheduled tasks — then writes you a letter…
CloudSword is an open-source tool designed to help public cloud tenants quickly discover, test, and improve security in their cloud environments. Targeted at…
Security testing MCP server with 51 tools across 19 modules. Covers SQL injection, XSS, command injection, SSRF, path traversal, PCAP forensics, memory…
Non-invasive AI Agent operation monitoring — audit every API call your agent makes to Shopify, Meta Ads, and more. Real-time alerts, audit logs, and operation…
The new Bright MCP Server enables AI assistants to directly interact with Bright and manage security scans end-to-end. Using natural language prompts, AI can…