# CodeAtlas - Doramagic AI Context Pack > Purpose: pre-work context for the user's host AI. This pack does not prove that the project has been installed, run, or validated. ## Project - canonical_name: `AryanSaini26/CodeAtlas` - capability: MCP server that builds a real-time code knowledge graph via Tree-sitter AST parsing, giving AI coding agents instant structural and semantic codebase navigation. - expected_user_outcome: MCP server that builds a real-time code knowledge graph via Tree-sitter AST parsing, giving AI coding agents instant structural and semantic codebase navigation. ## Operating Boundaries - Do not claim that the project has been installed, run, called through an API, or used on local files unless separate evidence proves it. - Project facts must come from repo evidence, Claim Graph, or explicit source references. - When a capability is not verified, mark it as unverified instead of completing it as fact. - publish_status: `publishable` - blocking_gaps: none --- ## Doramagic Context Augmentation The following sections strengthen the repository context for a host AI. Human Manual data is a reading route, and pitfall notes become operating constraints. ## Human Manual Outline Usage rule: this is only a reading route and salience signal, not factual authority. Concrete claims must still return to repo evidence or Claim Graph. Host AI hard rules: - Do not treat page titles, section order, summaries, or importance values as factual project evidence. - When explaining the Human Manual outline, state that it is only a reading route or salience signal. - Capability, installation, compatibility, runtime state, and risk claims must cite repo evidence, source paths, or Claim Graph. - **Overview and System Architecture**: importance `high` - source_paths: README.md, docs/architecture.md, docs/ai-infra-case-study.md, docs/index.md, src/codeatlas/__init__.py - **Code Graph Engine, Parsers, and Search**: importance `high` - source_paths: src/codeatlas/indexer.py, src/codeatlas/graph/store.py, src/codeatlas/graph/export.py, src/codeatlas/search/hybrid.py, src/codeatlas/search/embeddings.py - **Agent Interfaces, CLI, HTTP API, and Web UI**: importance `high` - source_paths: src/codeatlas/cli.py, src/codeatlas/server.py, src/codeatlas/api/app.py, src/codeatlas/api/routes.py, src/codeatlas/api/hosted_routes.py - **Hosted Gateway, Deployment, GitHub Integration, and Operations**: importance `high` - source_paths: src/codeatlas/hosted.py, src/codeatlas/hosted_worker.py, src/codeatlas/hosted_eval.py, src/codeatlas/github_app.py, src/codeatlas/git_integration.py ## Repo Inspection Evidence - repo_clone_verified: true - repo_inspection_verified: true - repo_commit: `b87f22eec523eab0524ded39eb6f614a4dede4b6` - inspected_files: `Dockerfile`, `README.md`, `docker-compose.yml`, `pyproject.toml`, `docs/ai-infra-case-study.md`, `docs/architecture.md`, `docs/assets/README.md`, `docs/changelog.md`, `docs/cli.md`, `docs/demo-script.md`, `docs/deploy-digitalocean.md`, `docs/deploy-fly.md`, `docs/deploy-gcp.md`, `docs/deploy-oracle.md`, `docs/getting-started.md`, `docs/hosted-mvp.md`, `docs/index.md`, `docs/landing/index.md`, `docs/languages.md`, `docs/launch-post.md` Host AI hard rules: - Without repo_clone_verified=true, do not claim that the source code has been read. - Without repo_inspection_verified=true, do not write README, docs, or package-file conclusions as facts. - Without quick_start_verified=true, do not claim that the Quick Start path has run successfully. ## Doramagic Pitfall Constraints These rules come from Doramagic discovery, validation, or compilation findings. The host AI must treat them as operating constraints, not background notes. ### Constraint 1: Configuration risk requires verification - Trigger: Project evidence flags a configuration risk. Review the linked source before relying on this workflow. - Host AI rule: Reproduce the official install and quickstart path in an isolated environment. - Why it matters: May increase setup, validation, or first-run risk for the user. - Evidence: capability.host_targets | https://github.com/AryanSaini26/CodeAtlas - Hard boundary: Do not present this pitfall as solved, verified, or ignorable unless later evidence explicitly closes it. ### Constraint 2: Capability evidence risk requires verification - Trigger: README/documentation is current enough for a first validation pass. - Host AI rule: Reproduce the official install and quickstart path in an isolated environment. - Why it matters: May increase setup, validation, or first-run risk for the user. - Evidence: capability.assumptions | https://github.com/AryanSaini26/CodeAtlas - Hard boundary: Do not present this pitfall as solved, verified, or ignorable unless later evidence explicitly closes it. ### Constraint 3: Maintenance risk requires verification - Trigger: Project evidence flags a maintenance risk. Review the linked source before relying on this workflow. - Host AI rule: Reproduce the official install and quickstart path in an isolated environment. - Why it matters: May increase setup, validation, or first-run risk for the user. - Evidence: evidence.maintainer_signals | https://github.com/AryanSaini26/CodeAtlas - Hard boundary: Do not present this pitfall as solved, verified, or ignorable unless later evidence explicitly closes it. ### Constraint 4: Security or permission risk requires verification - Trigger: no_demo - Host AI rule: Reproduce the official install and quickstart path in an isolated environment. - Why it matters: May increase setup, validation, or first-run risk for the user. - Evidence: downstream_validation.risk_items | https://github.com/AryanSaini26/CodeAtlas - Hard boundary: Do not present this pitfall as solved, verified, or ignorable unless later evidence explicitly closes it. ### Constraint 5: Security or permission risk requires verification - Trigger: no_demo - Host AI rule: Reproduce the official install and quickstart path in an isolated environment. - Why it matters: May increase setup, validation, or first-run risk for the user. - Evidence: risks.scoring_risks | https://github.com/AryanSaini26/CodeAtlas - Hard boundary: Do not present this pitfall as solved, verified, or ignorable unless later evidence explicitly closes it. ### Constraint 6: Maintenance risk requires verification - Trigger: issue_or_pr_quality=unknown。 - Host AI rule: Reproduce the official install and quickstart path in an isolated environment. - Why it matters: May increase setup, validation, or first-run risk for the user. - Evidence: evidence.maintainer_signals | https://github.com/AryanSaini26/CodeAtlas - Hard boundary: Do not present this pitfall as solved, verified, or ignorable unless later evidence explicitly closes it. ### Constraint 7: Maintenance risk requires verification - Trigger: release_recency=unknown。 - Host AI rule: Reproduce the official install and quickstart path in an isolated environment. - Why it matters: May increase setup, validation, or first-run risk for the user. - Evidence: evidence.maintainer_signals | https://github.com/AryanSaini26/CodeAtlas - Hard boundary: Do not present this pitfall as solved, verified, or ignorable unless later evidence explicitly closes it.