Skip to content
#

code-security

Here are 55 public repositories matching this topic...

qwed-verification

A deterministic verification layer for AI systems. QWED verifies AI outputs using mathematics, symbolic reasoning, and formal methods (Z3, SMT, SymPy), creating an auditable trust boundary for agentic AI. Not generation. Verification.

  • Updated Jul 9, 2026
  • Python

GoBfuscator is a professional-grade obfuscation tool specifically designed for Go (Golang) source code. It provides multiple layers of protection to make reverse engineering difficult while maintaining 100% runtime functionality.

  • Updated Aug 5, 2025
  • Python

🔍 CodeVista — AI-powered code analysis & visualization tool. Understand complex codebases instantly. Dependency graphs, architecture insights & quality metrics.

  • Updated Jun 19, 2026
  • Python

Universal security scanning skill for AI agents - finds hardcoded secrets, API keys, and vulnerabilities in any codebase. 44 patterns validated against GitLeaks, OWASP Top 10 mapping, Markdown/SARIF/JSON reports. Works across Claude Code, Cursor, Windsurf, and any agentic platform.

  • Updated Mar 13, 2026
  • Python

SAST Scanner Modified - Fully open-source SAST scanner supporting a range of languages and frameworks. Integrates with major CI pipelines and IDE such as Azure DevOps, Google CloudBuild, VS Code and Visual Studio. No server required!

  • Updated Mar 23, 2020
  • Python

Improve this page

Add a description, image, and links to the code-security topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the code-security topic, visit your repo's landing page and select "manage topics."

Learn more