Ferramentas

swiftdevcollective/xcodeprojectsecurity

Um aplicativo macOS para escanear arquivos de projeto Xcode em busca de possíveis problemas de segurança.

gmh5225/evmbench-certora-agent-harness

Harness de agente iterativo que usa LLMs e o Certora Prover para gerar e refinar especificações CVL de contratos inteligentes, realimentando a saída…

auditinfra-io/o1js-scan

Analisador estático sem dependências para bugs de solidez em circuitos zk em zkApps o1js/Mina e circuitos Noir

openbreach/canop

CLI de análise estática que escaneia código gerado por IA em busca de vulnerabilidades como injeção de SQL, reflexão insegura e segredos embutidos no…

philippeabraxas-jpg/responsible-alliance-protocol

Safety cannot be a prompt instruction. TBP provides an external execution-layer boundary for autonomous agents, enforcing hard F/I/W invariants via…

clickswave/limeyard

Laboratório Docker deliberadamente vulnerável com um domínio DNS roteável e chaves de resposta legíveis por máquina por alvo, avaliando localmente a…

nvidia/openshell

Sandboxed runtime for autonomous AI agents with declarative YAML policies enforcing filesystem, network, and process constraints, plus endpoint-bound…

adarsh14734/aegis-releases

Sandbox and MCP proxy that blocks AI coding agents from reading SSH keys, AWS credentials, and .env files, with deny-by-default policy and…

bomfather/agent

Agente Linux baseado em eBPF que aplica políticas de acesso em nível de executável no espaço do kernel, isolando processos e restringindo o acesso a…

owasp/trisuella-aidlca-framework

Policy-governed LLMSecOps framework providing AST-based SAST, secret scanning, supply-chain and multi-cloud CSPM checks, AI-BoM generation, and CI/CD…

owasp/owasp-aibom

Projeto OWASP que define um padrão de Lista de Materiais de IA (AIBOM) para documentar componentes de IA/ML, dependências e riscos da cadeia de…

owasp-noir/alibi

Cross-check the views of your attack surface and find the endpoints that cannot corroborate each other.

atomburstofficial/geiger

Read-only CLI that inventories AI agents, MCP servers, plugins, and extensions on a machine, reporting their capabilities and exposure with…

owasp/openshield

CSPM de código aberto para Azure - faça varredura em busca de configurações incorretas e criptografia insegura para quantum, mapeie os achados para…

offensive360/sast-scan-action

GitHub Action for Offensive360 SAST scans and SARIF results. See the open-source program for eligibility and setup.

offensive360/mcp-server

Servidor MCP que executa varreduras SAST em bases de código locais e retorna descobertas com severidade e correções, permitindo que assistentes de IA…

lgranadoi/sift-hardened

# Fork do sift 17.1.3 endurecido em segurança para CVE-2026-85625. Não afiliado ao crcn/sift.js.