You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Fix #5 (CRITICAL): use [data-md-color-scheme] selector chain to override MkDocs black text
Fix #1: rename button from 'nexa-lang.com' to '主页'/'Home'
Fix #2: force homepage content to block layout (no grid gap from hidden sidebar)
Fix #3: set portal-kicker font-family to Space Grotesk
Fix #4: replace 8-card grid with Nexa-style scroll-down sections (philosophy, harness, community)
<h2class="portal-section-title">A Language Designed for Agents,<br>Not Adapted for Them</h2>
52
+
<pclass="portal-section-desc">
53
+
Every other "agent framework" is a library bolted onto a general-purpose language.
54
+
Nexa is built from the ground up with the <strong>Harness Native</strong> methodology — agent safety, context management, and autonomous execution as first-class language constructs.
55
+
</p>
56
+
57
+
<divclass="portal-feature-grid">
58
+
<div class="portal-feature-card">
59
+
<h3>🛡️ Harness Native Syntax</h3>
60
+
<p>Agents, tools, protocols, and flows are first-class citizens — not library wrappers. The Harness six-tuple (E, T, C, S, L, V) is enforced at the language level.</p>
61
+
</div>
62
+
<div class="portal-feature-card">
63
+
<h3>🔒 Compiler-Enforced Safety</h3>
64
+
<p>26 Harness Validator rules check your code at compile time. Missing exit conditions, untyped tools, context overflow risks — caught before a single line runs.</p>
65
+
</div>
66
+
<div class="portal-feature-card">
67
+
<h3>🔀 DAG Orchestration</h3>
68
+
<p>Native fork, merge, pipeline, and conditional branch operators. Compose complex agent workflows as directed acyclic graphs with zero boilerplate.</p>
69
+
</div>
70
+
<div class="portal-feature-card">
71
+
<h3>📐 Gradual Type System</h3>
72
+
<p>From forgiving to strict — choose your safety level. Structural types, semantic types, Option/Result types, and compile-time protocol verification.</p>
73
+
</div>
74
+
<div class="portal-feature-card">
75
+
<h3>🧪 1,935+ Tests</h3>
76
+
<p>Battle-tested across 23+ major features. v1.x: Design by Contract, Error Propagation, Pattern Matching, ADTs, Jobs, HTTP Server, DB, Auth. v2.0: Harness Native Runtime.</p>
77
+
</div>
78
+
<div class="portal-feature-card">
79
+
<h3>🚀 AVM Runtime</h3>
80
+
<p>A Rust-powered Agent Virtual Machine with WASM sandboxing, COW memory, context paging, and work-stealing scheduler — 20× faster than Python transpilation.</p>
81
+
</div>
82
+
</div>
83
+
</div>
46
84
47
-
<divclass="portal-grid"markdown="0">
48
-
49
-
<aclass="portal-card"href="en/quickstart/">
50
-
<divclass="portal-card-icon">🚀</div>
51
-
<h3>Quickstart</h3>
52
-
<p>Master Nexa basics in 30 minutes — from install to your first Agent</p>
<h2class="portal-section-title">Six Dimensions. One Language. Compiler-Verified.</h2>
92
+
<pclass="portal-section-desc">
93
+
The Harness six-tuple is not a framework — it's syntax, enforced by the compiler.
94
+
</p>
95
+
96
+
<divclass="portal-feature-grid">
97
+
<div class="portal-feature-card">
98
+
<h3>E — Execution</h3>
99
+
<p><code>autoloop max_steps: 10, exit_when: "resolved"</code><br>Autonomous ReAct loop with compiler-enforced exit conditions. No more infinite agent loops.</p>
100
+
</div>
101
+
<div class="portal-feature-card">
102
+
<h3>T — Tool</h3>
103
+
<p><code>@tool("description") fn my_tool(x: string): string</code><br>Zero-cost tool binding. Compiler auto-generates OpenAI function calling schema from type signature.</p>
104
+
</div>
105
+
<div class="portal-feature-card">
106
+
<h3>C — Context</h3>
107
+
<p><code>with_context max_tokens: 50000, strategy: sliding_window</code><br>Importance-weighted context paging. Silent context overflow degraded performance — eliminated at language level.</p>
108
+
</div>
109
+
<div class="portal-feature-card">
110
+
<h3>S — State</h3>
111
+
<p><code>snap = snapshot(); ... restore(snap);</code><br>COW state snapshots with fork/merge for Tree-of-Thoughts exploration. Roll back decisions as a primitive.</p>
112
+
</div>
113
+
<div class="portal-feature-card">
114
+
<h3>L — Lifecycle</h3>
115
+
<p><code>before_step { ... }; reflect "What went wrong?";</code><br>Compiler-enforced lifecycle hooks + AI-native self-reflection. Agents learn instead of crashing.</p>
116
+
</div>
117
+
<div class="portal-feature-card">
118
+
<h3>V — Verify</h3>
119
+
<p><code>verify result satisfies ExpectedOutput;</code><br>Compile-time + runtime output verification with multi-model routing. Quality is a language property.</p>
<h2class="portal-section-title">Join Us in Building Agent Infrastructure</h2>
131
+
<pclass="portal-section-desc">
132
+
Open source is the lifeblood of Nexa. Whether you're a frontend architect, low-level algorithm researcher, or full-stack cloud-native engineer — we welcome you to collide ideas on GitHub and in the community.
133
+
</p>
134
+
135
+
<divclass="portal-feature-grid">
136
+
<div class="portal-feature-card">
137
+
<h3>📦 Syntax & Parser</h3>
138
+
<p>Help refine edge cases in the compiler, or build LSP plugins for VS Code / JetBrains.</p>
139
+
</div>
140
+
<div class="portal-feature-card">
141
+
<h3>🛠️ Standard Library</h3>
142
+
<p>Write practical Python utility functions, merge into runtime/stdlib.py following conventions, and leave your name in Nexa's built-in tools.</p>
143
+
</div>
144
+
<div class="portal-feature-card">
145
+
<h3>📊 Benchmarks</h3>
146
+
<p>Run concurrency stress tests at scale in cloud environments, and use data to validate each refactoring direction.</p>
147
+
</div>
148
+
<div class="portal-feature-card">
149
+
<h3>🔭 Observability</h3>
150
+
<p>Integrate LangSmith, Datadog, or build custom Web dashboards for real-time streaming topology monitoring.</p>
0 commit comments