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/plugins.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/context.py
isabelle_blueprint/agents/github_sync.py
isabelle_blueprint/agents/memory.py
isabelle_blueprint/agents/tasks.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/suggestions.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/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/badge.py
isabelle_blueprint/report/diff.py
isabelle_blueprint/report/github_actions.py
isabelle_blueprint/report/history.py
isabelle_blueprint/report/json_report.py
isabelle_blueprint/report/lint.py
isabelle_blueprint/report/markdown_report.py
isabelle_blueprint/report/metrics.py
isabelle_blueprint/report/pr_comment.py
isabelle_blueprint/report/roadmap.py
isabelle_blueprint/report/sarif.py
isabelle_blueprint/report/stats.py
isabelle_blueprint/report/status_overview.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/graph.schema.json
isabelle_blueprint/schemas/plugin-annotations.schema.json
isabelle_blueprint/schemas/project.schema.json
isabelle_blueprint/schemas/roadmap.schema.json
isabelle_blueprint/schemas/status.schema.json
isabelle_blueprint/schemas/summary.schema.json
isabelle_blueprint/schemas/tasks.schema.json
tests/test_agent_context.py
tests/test_agent_memory.py
tests/test_assign.py
tests/test_badge.py
tests/test_check_cache.py
tests/test_checker.py
tests/test_color.py
tests/test_compat.py
tests/test_completion.py
tests/test_console.py
tests/test_diff.py
tests/test_doctor.py
tests/test_dump.py
tests/test_explain.py
tests/test_fact_suggestions.py
tests/test_fail_on.py
tests/test_github_actions.py
tests/test_github_sync.py
tests/test_graph.py
tests/test_history.py
tests/test_init_templates.py
tests/test_latex_parser.py
tests/test_lint.py
tests/test_metrics.py
tests/test_model.py
tests/test_multi_blueprint.py
tests/test_packaging.py
tests/test_parser.py
tests/test_plugins.py
tests/test_pr_comment.py
tests/test_rename.py
tests/test_render.py
tests/test_roadmap.py
tests/test_sarif.py
tests/test_schemas.py
tests/test_stats.py
tests/test_status_overview.py
tests/test_tasks.py
tests/test_theory_import.py
tests/test_trends.py
tests/test_version_cmd.py
tests/test_watch_commands.py