LICENSE
README.md
pyproject.toml
autoforge/__init__.py
autoforge/cli/__init__.py
autoforge/cli/app.py
autoforge/cli/display.py
autoforge/cli/interactive.py
autoforge/cli/setup_wizard.py
autoforge/contracts/__init__.py
autoforge/contracts/paper_repro_contract.schema.json
autoforge/data/constitution/CONSTITUTION.md
autoforge/data/constitution/quality_gates.md
autoforge/data/constitution/agents/architect.md
autoforge/data/constitution/agents/builder.md
autoforge/data/constitution/agents/director.md
autoforge/data/constitution/agents/gardener.md
autoforge/data/constitution/agents/reviewer.md
autoforge/data/constitution/agents/scanner.md
autoforge/data/constitution/agents/tester.md
autoforge/data/constitution/workflows/build.md
autoforge/data/constitution/workflows/deliver.md
autoforge/data/constitution/workflows/import.md
autoforge/data/constitution/workflows/refactor.md
autoforge/data/constitution/workflows/review.md
autoforge/data/constitution/workflows/spec.md
autoforge/data/constitution/workflows/verify.md
autoforge/engine/__init__.py
autoforge/engine/adaptive_compute.py
autoforge/engine/agent_base.py
autoforge/engine/agent_debate.py
autoforge/engine/article_reasoning.py
autoforge/engine/article_verifier.py
autoforge/engine/auth.py
autoforge/engine/autonomous_discovery.py
autoforge/engine/benchmark_eval.py
autoforge/engine/capability_dag.py
autoforge/engine/checkpoints.py
autoforge/engine/cloud_prover.py
autoforge/engine/config.py
autoforge/engine/curriculum_learning.py
autoforge/engine/daemon.py
autoforge/engine/dag_federation.py
autoforge/engine/dense_retrieval.py
autoforge/engine/deploy_guide.py
autoforge/engine/development_harness.py
autoforge/engine/dynamic_constitution.py
autoforge/engine/evolution.py
autoforge/engine/evomac.py
autoforge/engine/experiment_loop.py
autoforge/engine/formal_verify.py
autoforge/engine/git_manager.py
autoforge/engine/hierarchical_decomp.py
autoforge/engine/hil.py
autoforge/engine/knowledge_distiller.py
autoforge/engine/ldb_debugger.py
autoforge/engine/lean_prover.py
autoforge/engine/literature_search.py
autoforge/engine/llm_router.py
autoforge/engine/lock_manager.py
autoforge/engine/multi_prover.py
autoforge/engine/orchestrator.py
autoforge/engine/paper_formalizer.py
autoforge/engine/paper_repro.py
autoforge/engine/paper_writer.py
autoforge/engine/peer_review.py
autoforge/engine/phase_executor.py
autoforge/engine/process_reward.py
autoforge/engine/profile_runner.py
autoforge/engine/project_registry.py
autoforge/engine/prompt_optimizer.py
autoforge/engine/proof_embedding.py
autoforge/engine/rag_retrieval.py
autoforge/engine/reasoning_extension.py
autoforge/engine/recursive_decomp_prover.py
autoforge/engine/reflexion.py
autoforge/engine/repro_contract.py
autoforge/engine/request_intake.py
autoforge/engine/rl_proof_search.py
autoforge/engine/run_controller.py
autoforge/engine/sandbox.py
autoforge/engine/search_tree.py
autoforge/engine/security_scan.py
autoforge/engine/self_play_conjecture.py
autoforge/engine/sica.py
autoforge/engine/speculative_pipeline.py
autoforge/engine/symbolic_compute.py
autoforge/engine/task_dag.py
autoforge/engine/theoretical_reasoning.py
autoforge/engine/ui_harness.py
autoforge/engine/utils.py
autoforge/engine/vlm_figure.py
autoforge/engine/world_model.py
autoforge/engine/agents/__init__.py
autoforge/engine/agents/architect.py
autoforge/engine/agents/builder.py
autoforge/engine/agents/director.py
autoforge/engine/agents/gardener.py
autoforge/engine/agents/reviewer.py
autoforge/engine/agents/scanner.py
autoforge/engine/agents/tester.py
autoforge/engine/channels/__init__.py
autoforge/engine/channels/bridge_agent.py
autoforge/engine/channels/telegram_bot.py
autoforge/engine/channels/webhook.py
autoforge/engine/harness/__init__.py
autoforge/engine/harness/dataset.py
autoforge/engine/harness/environment.py
autoforge/engine/harness/judge.py
autoforge/engine/harness/openai_export.py
autoforge/engine/harness/report.py
autoforge/engine/harness/runner.py
autoforge/engine/kernel/__init__.py
autoforge/engine/kernel/checkpoint.py
autoforge/engine/kernel/contracts.py
autoforge/engine/kernel/events.py
autoforge/engine/kernel/evidence.py
autoforge/engine/kernel/harness_overlay.py
autoforge/engine/kernel/inspector.py
autoforge/engine/kernel/plan.py
autoforge/engine/kernel/profiles.py
autoforge/engine/kernel/protocol.py
autoforge/engine/kernel/replay.py
autoforge/engine/kernel/run_store.py
autoforge/engine/kernel/schema.py
autoforge/engine/kernel/session.py
autoforge/engine/kernel/verdict.py
autoforge/engine/kernel/workspace.py
autoforge/engine/provers/__init__.py
autoforge/engine/provers/lean_core.py
autoforge/engine/provers/lean_lake.py
autoforge/engine/provers/multi_prover.py
autoforge/engine/provers/pantograph_repl.py
autoforge/engine/provers/proof_library.py
autoforge/engine/provers/proof_search.py
autoforge/engine/runtime/__init__.py
autoforge/engine/runtime/artifacts.py
autoforge/engine/runtime/commands.py
autoforge/engine/runtime/dependencies.py
autoforge/engine/runtime/env.py
autoforge/engine/runtime/errors.py
autoforge/engine/runtime/fs.py
autoforge/engine/runtime/journal.py
autoforge/engine/runtime/rate_limit.py
autoforge/engine/runtime/runtime.py
autoforge/engine/runtime/telemetry.py
autoforge/engine/runtime/trace.py
autoforge/engine/tools/__init__.py
autoforge/engine/tools/github_search.py
autoforge/engine/tools/search.py
autoforge/engine/tools/web.py
autoforgeai.egg-info/PKG-INFO
autoforgeai.egg-info/SOURCES.txt
autoforgeai.egg-info/dependency_links.txt
autoforgeai.egg-info/entry_points.txt
autoforgeai.egg-info/requires.txt
autoforgeai.egg-info/top_level.txt
tests/test_academic.py
tests/test_academic_hardening.py
tests/test_academic_p0_p2_fixes.py
tests/test_bridge_agent.py
tests/test_dag_federation.py
tests/test_dag_federation_server.py
tests/test_development_harness.py
tests/test_engines.py
tests/test_kernel.py
tests/test_repro_contract.py
tests/test_ui_harness.py