LICENSE
README.md
pyproject.toml
isabelle_blueprint/__init__.py
isabelle_blueprint/__main__.py
isabelle_blueprint/cli.py
isabelle_blueprint/completion.py
isabelle_blueprint/config.py
isabelle_blueprint/console.py
isabelle_blueprint/doctor.py
isabelle_blueprint/errors.py
isabelle_blueprint/explain.py
isabelle_blueprint/mcp_server.py
isabelle_blueprint/plugins.py
isabelle_blueprint/project_io.py
isabelle_blueprint/py.typed
isabelle_blueprint/scaffold.py
isabelle_blueprint/schemas.py
isabelle_blueprint/templates.py
isabelle_blueprint.egg-info/PKG-INFO
isabelle_blueprint.egg-info/SOURCES.txt
isabelle_blueprint.egg-info/dependency_links.txt
isabelle_blueprint.egg-info/entry_points.txt
isabelle_blueprint.egg-info/requires.txt
isabelle_blueprint.egg-info/top_level.txt
isabelle_blueprint/agents/__init__.py
isabelle_blueprint/agents/assignments.py
isabelle_blueprint/agents/blame.py
isabelle_blueprint/agents/context.py
isabelle_blueprint/agents/github_sync.py
isabelle_blueprint/agents/memory.py
isabelle_blueprint/agents/runner.py
isabelle_blueprint/agents/selection.py
isabelle_blueprint/agents/tasks.py
isabelle_blueprint/agents/tracker_export.py
isabelle_blueprint/graph/__init__.py
isabelle_blueprint/graph/dependency_graph.py
isabelle_blueprint/graph/graphviz_render.py
isabelle_blueprint/isabelle/__init__.py
isabelle_blueprint/isabelle/_run.py
isabelle_blueprint/isabelle/check_cache.py
isabelle_blueprint/isabelle/checker.py
isabelle_blueprint/isabelle/compat.py
isabelle_blueprint/isabelle/dump.py
isabelle_blueprint/isabelle/fact_search.py
isabelle_blueprint/isabelle/find_theorems.py
isabelle_blueprint/isabelle/reconcile.py
isabelle_blueprint/isabelle/reconcile_theory.py
isabelle_blueprint/isabelle/root.py
isabelle_blueprint/isabelle/sledgehammer.py
isabelle_blueprint/isabelle/source_index.py
isabelle_blueprint/isabelle/suggestions.py
isabelle_blueprint/isabelle/theory_export.py
isabelle_blueprint/isabelle/theory_gen.py
isabelle_blueprint/isabelle/theory_import.py
isabelle_blueprint/model/__init__.py
isabelle_blueprint/model/node.py
isabelle_blueprint/model/project.py
isabelle_blueprint/model/status.py
isabelle_blueprint/parser/__init__.py
isabelle_blueprint/parser/latex.py
isabelle_blueprint/parser/markdown.py
isabelle_blueprint/refactor/__init__.py
isabelle_blueprint/refactor/format.py
isabelle_blueprint/refactor/hooks.py
isabelle_blueprint/refactor/lintfix.py
isabelle_blueprint/refactor/rename.py
isabelle_blueprint/render/__init__.py
isabelle_blueprint/render/site.py
isabelle_blueprint/render/templates/base.html.j2
isabelle_blueprint/render/templates/graph.html.j2
isabelle_blueprint/render/templates/index.html.j2
isabelle_blueprint/render/templates/node.html.j2
isabelle_blueprint/render/templates/roadmap.html.j2
isabelle_blueprint/render/templates/status.html.j2
isabelle_blueprint/render/templates/tasks.html.j2
isabelle_blueprint/render/templates/trends.html.j2
isabelle_blueprint/render/templates/static/filters.js
isabelle_blueprint/render/templates/static/graph.js
isabelle_blueprint/render/templates/static/style.css
isabelle_blueprint/render/templates/static/trends.js
isabelle_blueprint/report/__init__.py
isabelle_blueprint/report/_markdown.py
isabelle_blueprint/report/badge.py
isabelle_blueprint/report/burndown.py
isabelle_blueprint/report/critical_path.py
isabelle_blueprint/report/depends.py
isabelle_blueprint/report/diff.py
isabelle_blueprint/report/effort.py
isabelle_blueprint/report/fact_coverage.py
isabelle_blueprint/report/gate.py
isabelle_blueprint/report/github_actions.py
isabelle_blueprint/report/history.py
isabelle_blueprint/report/impact.py
isabelle_blueprint/report/json_report.py
isabelle_blueprint/report/kinds.py
isabelle_blueprint/report/levels.py
isabelle_blueprint/report/lint.py
isabelle_blueprint/report/markdown_report.py
isabelle_blueprint/report/matrix.py
isabelle_blueprint/report/mermaid.py
isabelle_blueprint/report/metrics.py
isabelle_blueprint/report/notify.py
isabelle_blueprint/report/orphans.py
isabelle_blueprint/report/path.py
isabelle_blueprint/report/portfolio.py
isabelle_blueprint/report/pr_comment.py
isabelle_blueprint/report/prometheus.py
isabelle_blueprint/report/proof_debt.py
isabelle_blueprint/report/roadmap.py
isabelle_blueprint/report/sarif.py
isabelle_blueprint/report/scorecard.py
isabelle_blueprint/report/staleness.py
isabelle_blueprint/report/stats.py
isabelle_blueprint/report/status_overview.py
isabelle_blueprint/report/tag_cooccurrence.py
isabelle_blueprint/report/tags.py
isabelle_blueprint/report/trends.py
isabelle_blueprint/schemas/agent-context.schema.json
isabelle_blueprint/schemas/agent-memory.schema.json
isabelle_blueprint/schemas/config.schema.json
isabelle_blueprint/schemas/critical-path.schema.json
isabelle_blueprint/schemas/depends.schema.json
isabelle_blueprint/schemas/fact-coverage.schema.json
isabelle_blueprint/schemas/graph.schema.json
isabelle_blueprint/schemas/kinds.schema.json
isabelle_blueprint/schemas/levels.schema.json
isabelle_blueprint/schemas/matrix.schema.json
isabelle_blueprint/schemas/orphans.schema.json
isabelle_blueprint/schemas/path.schema.json
isabelle_blueprint/schemas/plugin-annotations.schema.json
isabelle_blueprint/schemas/project.schema.json
isabelle_blueprint/schemas/proof-debt.schema.json
isabelle_blueprint/schemas/roadmap.schema.json
isabelle_blueprint/schemas/scorecard.schema.json
isabelle_blueprint/schemas/status.schema.json
isabelle_blueprint/schemas/summary.schema.json
isabelle_blueprint/schemas/tag-cooccurrence.schema.json
isabelle_blueprint/schemas/tags.schema.json
isabelle_blueprint/schemas/tasks.schema.json
tests/test_agent_context.py
tests/test_agent_memory.py
tests/test_agent_run.py
tests/test_assign.py
tests/test_badge.py
tests/test_blame.py
tests/test_burndown.py
tests/test_check_cache.py
tests/test_checker.py
tests/test_cli_robustness.py
tests/test_color.py
tests/test_compat.py
tests/test_completion.py
tests/test_console.py
tests/test_critical_path.py
tests/test_depends.py
tests/test_diff.py
tests/test_doctor.py
tests/test_dump.py
tests/test_e2e.py
tests/test_effort.py
tests/test_explain.py
tests/test_fact_coverage.py
tests/test_fact_suggestions.py
tests/test_fail_on.py
tests/test_find_theorems.py
tests/test_fmt.py
tests/test_gate.py
tests/test_github_actions.py
tests/test_github_sync.py
tests/test_graph.py
tests/test_history.py
tests/test_hooks.py
tests/test_impact.py
tests/test_init_templates.py
tests/test_kinds.py
tests/test_latex_parser.py
tests/test_levels.py
tests/test_lint.py
tests/test_lintfix.py
tests/test_matrix.py
tests/test_mcp_server.py
tests/test_metrics.py
tests/test_model.py
tests/test_multi_blueprint.py
tests/test_new_command_schemas.py
tests/test_notify.py
tests/test_orphans.py
tests/test_packaging.py
tests/test_parser.py
tests/test_path.py
tests/test_plugins.py
tests/test_portfolio.py
tests/test_pr_comment.py
tests/test_project_io.py
tests/test_prometheus.py
tests/test_proof_debt.py
tests/test_reconcile.py
tests/test_rename.py
tests/test_render.py
tests/test_report_markdown.py
tests/test_roadmap.py
tests/test_root.py
tests/test_run_capture.py
tests/test_sarif.py
tests/test_schemas.py
tests/test_scorecard.py
tests/test_search_facts.py
tests/test_sledgehammer.py
tests/test_source_index.py
tests/test_staleness.py
tests/test_stats.py
tests/test_status_overview.py
tests/test_tag_cooccurrence.py
tests/test_tags.py
tests/test_tasks.py
tests/test_theory_export.py
tests/test_theory_import.py
tests/test_theory_index_cli.py
tests/test_tracker_export.py
tests/test_trends.py
tests/test_version_cmd.py
tests/test_watch_commands.py
tests/test_workflow_pinning.py