Type-aware DeepSeek Harness

Give coding Agents the type context they were missing.

Complete imported declarations after reads. Changed-file-first diagnostics after edits. Bounded, fail-open, and integrated directly into DSH.

Install from npm Open the quickstart

A source read receives imported type context and an edit receives an immediate TypeScript diagnostic. — TypeLens closes both sides of the coding loop without replacing the original DSH tool result.

Automatic and explicit

Useful context, kept inside hard limits.

Read with context

Ranked, deduplicated, cycle-safe declarations that are never cut mid-signature.

Edit with feedback

Changed-file-first TypeScript diagnostics appear immediately after writes and edits.

Inspect on demand

Lookup, list, check, and explain tools cover explicit Agent workflows.

Bounded by default

Workspace containment, source caps, token budgets, LRU limits, deadlines, and a circuit breaker.

Install and upgrade

One command per profile.

Restart the affected DSH profile after either operation.

dsh plugin --profile web add dsh-typelens

dsh plugin --profile web update dsh-typelens --latest

Privacy boundary

Local analysis, explicit provider boundary.

TypeLens itself makes no external network requests and persists no source-bearing analysis cache. Context appended to an Agent step follows the DSH model provider you configured.

Agent Reliability Toolkit

Three checks across the Agent workflow.

Verify the live runtime with ARP, review task-scoped residue with ARE, and give DeepSeek Harness bounded type context with TypeLens. Each tool is independent and local-first.

Runtime identity · ARP Task residue · ARE DSH type context · TypeLens