Models and IDE agents
They reason, edit, and explain. They still forget local facts, repeat setup, and struggle when the repo's rules are implicit.
The current agent ecosystem gives us strong models, MCP transports, IDE copilots, CI, cloud APIs, and workflow engines. Those are necessary. They are not sufficient.
SmarterGPT fills the layer between model reasoning and real-world action: what the agent remembers, what the workspace exposes, what authority it has, which behavior rules apply, and how work is coordinated.
Most teams already have pieces of an agent stack. The problem is that the pieces rarely agree on responsibility.
They reason, edit, and explain. They still forget local facts, repeat setup, and struggle when the repo's rules are implicit.
They expose actions. They do not define which action is appropriate for this role, this credential, this workspace, and this risk level.
They enforce important boundaries. They usually report failure after the agent has already chosen an operation, not before it reasons about authority.
Agents need durable work memory that belongs to the workspace: what happened, why it stopped, which policy was involved, and what should happen next.
Every repo has its own build, test, search, diagnose, and release ceremony. Agents should discover those through a contract instead of guessing shell chains.
Role-like posture is useful, but the key question is effect-level: this agent, in this envelope, wants to do this operation. Is it allowed, denied, or escalated?
Personas should not be vibes. They should derive constraints that can be inspected, scoped, and declined when the right memory or confidence is unavailable.
Multi-agent work needs isolated execution environments, explicit gates, receipts, and deterministic plans so swarm behavior does not become unreviewable chaos.
| Layer | Current role | Status | Public surface |
|---|---|---|---|
| Lex | Memory, policy context, recall, instructions, local SQLite, CLI/MCP/API. | Public MIT. npm latest. | Project page / GitHub |
| AXF | Workspace-native capability declarations and execution surface. | Public source-available alpha. npm latest. | Project page / GitHub |
| LexThority | Pre-alpha authority-boundary research: envelopes, effect decisions, escalation, and receipts. | Public source-available design preview. Not published on npm yet. | Sneak peek / GitHub |
| LexSona | Behavioral constraints derived from personas and learned rules. | Controlled-access source. Not public npm. | Concept page |
| LexRunner | Fan-out, gates, merge plans, contained execution, and swarm-style flow. | Controlled-access source. Not public npm. | Concept page |
LMV is the evidence-backed operational memory layer now being upstreamed into Lex and AXF. It makes the difference between remembered context and validated knowledge explicit.
| Precept | Stack behavior |
|---|---|
| Evidence is not truth. | Evidence references are typed witnesses, not final authority. |
| Memory is not evidence. | Frames can guide inquiry without pretending to close validation. |
| Recall is not certainty. | Agents verify current files, logs, tests, receipts, or runtime state before major action. |
| Uncertainty is part of truth. | Unknown, partial, stale, and invalidated states remain valid records. |
| Contradiction is signal. | Conflicting Frames link together instead of silently overwriting each other. |
| Forgetting is a feature. | Retention can expire, demote, supersede, or promote memory. |
| Assimilation must add distinctiveness. | Durable memory should change future behavior or prevent repeated work. |
| Provenance is dignity. | Claims cite files, commands, logs, receipts, commits, PRs, URLs, or upstream Frames. |
| Boundaries are consent. | Frames and capabilities state scope, data class, trust zone, and authorization limits. |
| Power requires audit. | Meaningful effects emit structured records with actor, scope, reason, result, and validation. |
| The operator remains sovereign. | Stop conditions and escalation protect destructive, secret-bearing, remote, or unbounded actions. |
| Failure under discipline is inquiry. | Failed bounded experiments can be preserved when their result changes future action. |
LexRunner should be able to spin up contained, worktree-like execution environments where agents can explore in parallel without sharing unsafe state or credentials.
LexThority is still pre-alpha. The useful direction is not replacing identity providers, but finding the right boundary between available credentials, bounded workspaces, agent judgment, escalation, and receipts.
Different agents should operate with different posture and access: PM, analyst, developer, operator. LexSona expresses behavioral duty; the authority boundary is still being shaped.
Development is just the first domain because it has observable artifacts. The same operating stack applies anywhere agents touch tools under policy.
Separate PHI-sensitive memory, tool capability, credential reality, and escalation receipts instead of relying on prompt-only boundaries.
Agents can run known analysis capabilities, cite datasets and assumptions, and escalate when they lack authority to query or export.
Every attempted effect can become an auditable receipt: what was attempted, why it was allowed or denied, and which operator decision remains.