LICENSE
README.md
pyproject.toml
src/autocertora/__init__.py
src/autocertora/__main__.py
src/autocertora/cli.py
src/autocertora.egg-info/PKG-INFO
src/autocertora.egg-info/SOURCES.txt
src/autocertora.egg-info/dependency_links.txt
src/autocertora.egg-info/entry_points.txt
src/autocertora.egg-info/requires.txt
src/autocertora.egg-info/top_level.txt
src/autocertora/ai/__init__.py
src/autocertora/ai/llm.py
src/autocertora/config/__init__.py
src/autocertora/config/ai_config.py
src/autocertora/domain/__init__.py
src/autocertora/domain/models.py
src/autocertora/generation/__init__.py
src/autocertora/generation/generator.py
src/autocertora/generation/skill_loader.py
src/autocertora/generation/writer.py
src/autocertora/knowledge/__init__.py
src/autocertora/knowledge/solodit.py
src/autocertora/prompts/knowledge/certora-formal-verification.md
src/autocertora/prompts/knowledge/reference-patterns.md
src/autocertora/prompts/knowledge/capabilities/01-spec-foundations.md
src/autocertora/prompts/knowledge/capabilities/02-methods-and-envfree.md
src/autocertora/prompts/knowledge/capabilities/03-require-assert-satisfy.md
src/autocertora/prompts/knowledge/capabilities/04-harnessing-patterns.md
src/autocertora/prompts/knowledge/capabilities/05-invariants-playbook.md
src/autocertora/prompts/knowledge/capabilities/06-ghosts-and-hooks.md
src/autocertora/prompts/knowledge/capabilities/07-parametric-rules.md
src/autocertora/prompts/knowledge/capabilities/08-loop-reasoning.md
src/autocertora/prompts/knowledge/capabilities/09-revert-modeling.md
src/autocertora/prompts/knowledge/capabilities/10-erc20-playbook.md
src/autocertora/prompts/knowledge/capabilities/11-erc721-playbook.md
src/autocertora/prompts/knowledge/capabilities/12-access-control-playbook.md
src/autocertora/prompts/knowledge/capabilities/13-common-failure-and-repair.md
src/autocertora/prompts/knowledge/capabilities/14-invariant-design-patterns.md
src/autocertora/prompts/knowledge/capabilities/15-preserved-blocks-and-induction.md
src/autocertora/prompts/knowledge/capabilities/16-helper-functions-and-cardinality.md
src/autocertora/prompts/knowledge/capabilities/17-tracking-sums.md
src/autocertora/prompts/knowledge/capabilities/18-partially-parametric-rules.md
src/autocertora/prompts/knowledge/capabilities/19-requireinvariant-composition.md
src/autocertora/prompts/knowledge/capabilities/20-event-reasoning-via-summaries.md
src/autocertora/prompts/knowledge/capabilities/21-opcode-hooks.md
src/autocertora/prompts/knowledge/capabilities/22-multi-contract-reasoning.md
src/autocertora/prompts/knowledge/capabilities/23-managing-timeouts-and-memory.md
src/autocertora/prompts/knowledge/capabilities/24-high-vs-low-level-gaps.md
src/autocertora/prompts/knowledge/capabilities/25-prover-cli-and-conf-workflow.md
src/autocertora/prompts/knowledge/capabilities/26-packages-remappings-and-build-resolution.md
src/autocertora/prompts/knowledge/capabilities/27-spec-quality-checks.md
src/autocertora/prompts/knowledge/capabilities/28-prover-approximations-control.md
src/autocertora/prompts/knowledge/capabilities/29-tac-and-timeout-diagnosis.md
src/autocertora/prompts/knowledge/capabilities/30-dashboard-report-triage.md
src/autocertora/prompts/knowledge/capabilities/31-suite-project-structure.md
src/autocertora/prompts/knowledge/capabilities/32-production-cvl-patterns.md
src/autocertora/prompts/knowledge/capabilities/33-normal-flow-rules.md
src/autocertora/prompts/knowledge/invariants/access-control.md
src/autocertora/prompts/knowledge/invariants/algo-stables.md
src/autocertora/prompts/knowledge/invariants/amm.md
src/autocertora/prompts/knowledge/invariants/auction.md
src/autocertora/prompts/knowledge/invariants/bridge.md
src/autocertora/prompts/knowledge/invariants/cdp.md
src/autocertora/prompts/knowledge/invariants/cross-chain.md
src/autocertora/prompts/knowledge/invariants/derivatives.md
src/autocertora/prompts/knowledge/invariants/governance.md
src/autocertora/prompts/knowledge/invariants/launchpad.md
src/autocertora/prompts/knowledge/invariants/lending.md
src/autocertora/prompts/knowledge/invariants/liquid-staking.md
src/autocertora/prompts/knowledge/invariants/liquidity-manager.md
src/autocertora/prompts/knowledge/invariants/nft.md
src/autocertora/prompts/knowledge/invariants/oracle.md
src/autocertora/prompts/knowledge/invariants/prediction-market.md
src/autocertora/prompts/knowledge/invariants/privacy.md
src/autocertora/prompts/knowledge/invariants/rwa.md
src/autocertora/prompts/knowledge/invariants/staking-pool.md
src/autocertora/prompts/knowledge/invariants/staking.md
src/autocertora/prompts/knowledge/invariants/synthetics.md
src/autocertora/prompts/knowledge/invariants/vault.md
src/autocertora/prompts/knowledge/invariants/yield-aggregator.md
src/autocertora/prompts/knowledge/invariants/yield.md
src/autocertora/prompts/knowledge/skills/index.json
src/autocertora/prompts/system/orchestrator.md
src/autocertora/prompts/tasks/generate-suite.md
src/autocertora/prompts/tasks/phase1-contract-analysis.md
src/autocertora/prompts/tasks/phase2-property-plan.md
src/autocertora/prompts/tasks/phase3-cvl-synthesis.md
src/autocertora/prompts/tasks/phase4-suite-refinement.md
src/autocertora/solidity/__init__.py
src/autocertora/solidity/parser.py