# Semryn

> Semantic software infrastructure for AI coding agents. Semryn is building a layer between coding agents and existing repositories, with no application rewrite required.

Technology: AIR — AI Intermediate Representation. Semryn is the product/platform; AIR is its underlying semantic representation and compiler technology.

Status: local AIR graph-engine prototype, version 0.0.3. Working capabilities include typed binary graphs, local binary control, checked attribute edits, native/static HTML outputs and host-owned observable checks.

Repository indexing, task-specific repository context, language adapters, semantic source patches and external agent integrations are planned. Current benchmarks measure graph operations; repository-level inference savings are not proven. Validation covers declared properties and observables, not universal correctness.

Intended agents include Codex, Claude Code, Copilot, Gemini and custom agents. These are future integration targets, not vendor partnerships or currently delivered integrations.

## Project information

- [Overview](https://semryn.dev/index.md): Product direction, existing-language positioning and current status.
- [Agent capabilities](https://semryn.dev/for-agents.md): Implemented features, limitations, appropriate evaluation and local demonstration commands.
- [Structured project facts](https://semryn.dev/air.json): Machine-readable status, capability and roadmap metadata.

## Optional

- [Product strategy](https://semryn.dev/strategy.md): Commercial thesis, repository architecture, evaluation criteria and detailed milestones.