LICENSE
README.md
pyproject.toml
src/proofcheck/__init__.py
src/proofcheck/__main__.py
src/proofcheck/ablation.py
src/proofcheck/benchmark.py
src/proofcheck/card.py
src/proofcheck/carddata.py
src/proofcheck/cargo.py
src/proofcheck/check.py
src/proofcheck/ci.py
src/proofcheck/claims.py
src/proofcheck/cli.py
src/proofcheck/config.py
src/proofcheck/evidence.py
src/proofcheck/failtopass.py
src/proofcheck/git.py
src/proofcheck/github_api.py
src/proofcheck/httpclient.py
src/proofcheck/init_cmd.py
src/proofcheck/junit.py
src/proofcheck/llm.py
src/proofcheck/proc.py
src/proofcheck/projects.py
src/proofcheck/repro.py
src/proofcheck/result.py
src/proofcheck/runners.py
src/proofcheck/rustsrc.py
src/proofcheck/scope.py
src/proofcheck/unittest_junit.py
src/proofcheck/agent/__init__.py
src/proofcheck/agent/card.py
src/proofcheck/agent/cli.py
src/proofcheck/agent/config.py
src/proofcheck/agent/llm_tools.py
src/proofcheck/agent/loop.py
src/proofcheck/agent/prompts.py
src/proofcheck/agent/propose.py
src/proofcheck/agent/ruststatic.py
src/proofcheck/agent/schema.py
src/proofcheck/agent/static.py
src/proofcheck/agent/target.py
src/proofcheck/agent/tools.py
src/proofcheck/agent/verify.py
src/proofcheck_ai.egg-info/PKG-INFO
src/proofcheck_ai.egg-info/SOURCES.txt
src/proofcheck_ai.egg-info/dependency_links.txt
src/proofcheck_ai.egg-info/entry_points.txt
src/proofcheck_ai.egg-info/requires.txt
src/proofcheck_ai.egg-info/top_level.txt
tests/test_ablation.py
tests/test_agent_card.py
tests/test_agent_config.py
tests/test_agent_e2e.py
tests/test_agent_llm.py
tests/test_agent_propose.py
tests/test_agent_rust.py
tests/test_agent_static.py
tests/test_agent_tools.py
tests/test_agent_verify.py
tests/test_card.py
tests/test_carddata.py
tests/test_cargo.py
tests/test_claims.py
tests/test_cli.py
tests/test_config.py
tests/test_e2e_harness.py
tests/test_e2e_scenarios.py
tests/test_evidence.py
tests/test_failtopass.py
tests/test_github_api.py
tests/test_integration_cmds.py
tests/test_junit.py
tests/test_llm.py
tests/test_projects.py
tests/test_repro.py
tests/test_rustsrc.py
tests/test_scope.py
tests/test_workflows.py