Z3Prover/a3-python-skill

Última actividad de origen registrada: 18 de febrero de 2026 a las 22:52

Catálogo de SkillsMP actualizado: 5 de noviembre de 2026 a las 19:57

skills recopiladas: 1

Estrellas en GitHub: 1
Forks en GitHub: 0

Instalar con un asistente de IA

Copia este prompt en el asistente de IA que estés usando.

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

README del repositorio

Archivo de origen del README: README.md

Leer el README original

Mostrar 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.

Cargando el README del repositorio…

Skills en este repositorio

Desarrolladores de software

1 categorías ocupacionales · 100% clasificado

skill

ocupación

descripción

actualizado

a3-python

Desarrolladores 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 del texto original: inglés

2026-02-18

Mostrando 1 de 1 skills recopiladas.