Z3Prover/a3-python-skill

Última atividade de origem registrada: 18 de fevereiro de 2026 às 22:52

Catálogo do SkillsMP atualizado: 5 de novembro de 2026 às 19:57

skills coletadas: 1

Estrelas no GitHub: 1
Forks no GitHub: 0

Instalar com um assistente de IA

Copie este prompt para o assistente de IA que você usa.

Follow https://skillsmp.com/skill-install/prompt.md to install Agent Skills from https://github.com/Z3Prover/a3-python-skill.

README do repositório

Arquivo de origem do README: README.md

Ler o README original

Expandir README completo

# A3-Python Claude Skill This repository contains a Claude skill for **a3-python**, an advanced automated analysis tool for Python codebases. ## About A3-Python A3 (Advanced Automated Analysis) combines non-LLM static analysis with optional agentic LLM triage to find real bugs in Python codebases with 99%+ accuracy. It uses: - **Bytecode analysis and Z3-backed symbolic execution** for automatic proof of false positives - **Agentic LLM triage** that explores codebases to classify remaining findings - **GitHub Actions integration** for continuous security scanning ## Using This Skill This skill enables Claude to help you: - Set up and configure a3-python for your Python projects - Run static analysis scans on Python code - Configure CI/CD pipelines with automated scanning and triage - Interpret and act on analysis results - Manage baselines for incremental bug detection ## Installation ### Recommended: Container Image (via GitHub Container Registry) Pull and use the a3-python container image: ```bash # Pull the latest image docker pull ghcr.io/thehalleyyoung/a3-python:latest # Run a3 with the current directory mounted docker run --rm -v "$(pwd):/workspace" -w /workspace ghcr.io/thehalleyyoung/a3-python:latest a3 --help # Create a convenient alias (add to ~/.bashrc or ~/.zshrc) alias a3='docker run --rm -v "$(pwd):/workspace" -w /workspace ghcr.io/thehalleyyoung/a3-python:latest a3' ``` After setting the alias, use `a3` commands as normal. ### Optional: Local Installation via PyPI For local development or if you prefer native installation: ```bash # Basic installation pip install a3-python # With CI features (GitHub Actions, LLM triage, SARIF output) pip install a3-python[ci] ``` Requires Python ≥ 3.11. ## Quick Start > **Note:** The examples below assume you've either set up the `a3` alias (as shown in Installation) or are using the full `docker run` command. ### Scan a Project ```bash # With alias a3 scan . --output-sarif results.sarif # Or with full docker command docker run --rm -v "$(pwd):/workspace" -w /workspace ghcr.io/thehalleyyoung/a3-python:latest a3 scan . --output-sarif results.sarif ``` ### Scan with Agentic Triage ```bash # With alias a3 scan . --triage # Or with full docker command (pass API keys as env vars if needed) docker run --rm -v "$(pwd):/workspace" -w /workspace \ -e OPENAI_API_KEY="$OPENAI_API_KEY" \ ghcr.io/thehalleyyoung/a3-python:latest a3 scan . --triage ``` ### Set Up CI Integration ```bash # With alias a3 init . --copilot # Or with full docker command docker run --rm -v "$(pwd):/workspace" -w /workspace ghcr.io/thehalleyyoung/a3-python:latest a3 init . --copilot # Then commit the generated files git add .github/ .a3.yml .a3-baseline.json git commit -m "ci: add a3 static analysis" ``` ## Files in This Repository - **SKILL.md**: The main skill specification with instructions for Claude - **.a3.yml.example**: Example configuration file for a3-python - **README.md**: This file ## Skill Structure This skill follows the [Agent Skills standard](https://github.com/anthropics/skills) with: - YAML frontmatter containing metadata (name, description) - Comprehensive instructions for using a3-python - Examples and best practices - Configuration guidance ## Resources - [a3-python Container Image (GitHub Container Registry)](https://github.com/thehalleyyoung/a3-python/pkgs/container/a3-python) - [a3-python on PyPI](https://pypi.org/project/a3-python/) - [Agent Skills Specification](https://github.com/anthropics/skills) - [Claude Skills Documentation](https://support.claude.com/en/articles/12512180-using-skills-in-claude) ## License This skill is provided as open source for use with Claude and a3-python.

Carregando o README do repositório…

Skills neste repositório

Desenvolvedores de software

1 categorias ocupacionais · 100% classificado

skill

ocupação

descrição

atualizado

a3-python

Desenvolvedores de software

Advanced Automated Analysis for Python - Find real bugs in Python codebases using static analysis with Z3-backed symbolic execution and optional agentic LLM triage. Use this skill when analyzing Python code for security vulnerabilities, runtime errors, or…

Idioma do texto original: inglês

2026-02-18

Mostrando 1 de 1 skills coletadas.