LICENSE
NOTICE
README.md
pyproject.toml
sabba/__init__.py
sabba/__main__.py
sabba/audit.py
sabba/chat.py
sabba/cli.py
sabba/config.py
sabba/history.py
sabba/log.py
sabba/mcp_server.py
sabba/memory.py
sabba/onboarding.py
sabba/repl.py
sabba/studio.py
sabba/tui.py
sabba/types.py
sabba/ui.py
sabba.egg-info/PKG-INFO
sabba.egg-info/SOURCES.txt
sabba.egg-info/dependency_links.txt
sabba.egg-info/entry_points.txt
sabba.egg-info/requires.txt
sabba.egg-info/top_level.txt
sabba/harness/__init__.py
sabba/harness/agent.py
sabba/harness/cpg.py
sabba/harness/fuzz.py
sabba/harness/oracle.py
sabba/harness/orchestrator.py
sabba/harness/prove.py
sabba/harness/retrieval.py
sabba/harness/tools.py
sabba/harness/variant.py
sabba/harness/symbolic/__init__.py
sabba/harness/symbolic/synth.py
sabba/kali/__init__.py
sabba/kali/catalog.py
sabba/kali/run.py
sabba/kali/scope.py
sabba/kali/tools.py
sabba/llm/__init__.py
sabba/llm/anthropic_provider.py
sabba/llm/base.py
sabba/llm/claude_code.py
sabba/llm/glm_provider.py
sabba/llm/local_provider.py
sabba/llm/openrouter_provider.py
sabba/ml/__init__.py
sabba/ml/bootstrap.py
sabba/ml/ranker.py
sabba/ml/train.py
sabba/provers/__init__.py
sabba/provers/base.py
sabba/provers/native.py
sabba/provers/registry.py
sabba/provers/evm/__init__.py
sabba/provers/evm/checkers.py
sabba/provers/evm/detect.py
sabba/provers/evm/foundry.py
sabba/provers/evm/prover.py
sabba/provers/evm/templates/ProfitCheck.sol
sabba/provers/evm/templates/foundry.toml.tmpl
sabba/provers/evm/templates/run.sh.tmpl
sabba/provers/golang/__init__.py
sabba/provers/golang/classify.py
sabba/provers/golang/detect.py
sabba/provers/golang/prover.py
sabba/provers/golang/runner.py
sabba/provers/java/__init__.py
sabba/provers/java/classify.py
sabba/provers/java/detect.py
sabba/provers/java/prover.py
sabba/provers/java/runner.py
sabba/provers/node/__init__.py
sabba/provers/node/classify.py
sabba/provers/node/detect.py
sabba/provers/node/prover.py
sabba/provers/node/reproducer.py
sabba/provers/node/runner.py
sabba/provers/python/__init__.py
sabba/provers/python/classify.py
sabba/provers/python/detect.py
sabba/provers/python/gates.py
sabba/provers/python/prover.py
sabba/provers/python/runner.py
sabba/provers/python/verify.py
sabba/sandbox/__init__.py
sabba/sandbox/base.py
sabba/sandbox/docker.py
sabba/sandbox/local.py
sabba/security/__init__.py
sabba/security/scan.py
sabba/templates/__init__.py
sabba/templates/commands/audit.md
sabba/templates/commands/pentest.md
sabba/templates/commands/prove-fix.md
sabba/templates/commands/vet-skill.md
sabba/water/__init__.py
sabba/water/cascade.py
sabba/water/traces.py
tests/test_agent.py
tests/test_cascade.py
tests/test_claude_code.py
tests/test_cost_estimate.py
tests/test_evm_prover.py
tests/test_fuzz.py
tests/test_go_prover.py
tests/test_java_prover.py
tests/test_kali.py
tests/test_local_agentic.py
tests/test_mcp_server.py
tests/test_native_prover.py
tests/test_node_prover.py
tests/test_onboarding.py
tests/test_oracle.py
tests/test_prove.py
tests/test_python_prover.py
tests/test_rank_sandbox.py
tests/test_ranker.py
tests/test_registry.py
tests/test_repl_ask.py
tests/test_repl_backend.py
tests/test_repl_composer.py
tests/test_repl_streaming.py
tests/test_sandbox_container.py
tests/test_security_scan.py
tests/test_studio.py
tests/test_templates.py
tests/test_traces.py
tests/test_tui_composer.py