From 4a0d13df0f2464a0a30b3c88a2f24c478d2d785d Mon Sep 17 00:00:00 2001 From: Nima Nejat Date: Tue, 14 Jul 2026 00:12:20 -0700 Subject: [PATCH] docs: align organization profile with Axint proof --- profile/README.md | 51 ++++++++++++++++++++++++----------------------- public-truth.json | 14 ++++++------- 2 files changed, 33 insertions(+), 32 deletions(-) diff --git a/profile/README.md b/profile/README.md index 99c3bfb..1599d67 100644 --- a/profile/README.md +++ b/profile/README.md @@ -2,44 +2,45 @@ Agentic Empire

-

Infrastructure for agent-authored software

+

Agents can write Swift. Axint makes them prove it.

- We build the systems between a plausible patch and software you can trust.
- Our first public product is Axint, the proof and repair layer for Apple coding agents. + Axint is the proof and repair layer for Apple coding agents.

- Explore Axint · + Axint checks the Swift your agent wrote, runs the real Xcode build and tests,
+ reconciles findings with Apple tooling, and returns signed proof with the exact repairs to make next.
+ No project rewrite. No source upload. +

+ +

+ Prove a project · + Try in browser · Read the docs · - Try it in browser · + Explore examples · Join the community

--- -## Axint - -Agents can write Swift. Shipping requires evidence. - -Axint generates Apple-native capabilities, checks existing Swift without -rewriting the project, runs resumable Xcode proof, reconciles heuristics with -compiler and test evidence, and returns a compact signed receipt for the next -repair turn. +## One local command ```bash npx -y -p @axint/compiler axint prove --dir /path/to/MyApp ``` -The first run is local, source-free, and non-destructive. No account is required. +The default proof run is local, source-free, and non-destructive. It requires no +account, does not change Swift, and keeps complete build and test artifacts on +disk while returning a compact receipt for the next repair turn. -| Surface | What it does | +| Surface | Role in the proof loop | | --- | --- | -| **Generate** | Compile smaller TypeScript, Python, JSON, or preview contracts into inspectable Swift | | **Check** | Classify findings as confirmed, probable, advisory, or suppressed | -| **Run** | Orchestrate resumable Xcode builds, tests, runtime checks, and `.xcresult` evidence | -| **Team** | Preserve project context, file claims, repair packets, and agent handoffs | -| **Cloud** | Provide hosted checks and shared proof history when local Apple tooling is unavailable | +| **Run** | Orchestrate resumable Xcode build, test, runtime, and `.xcresult` evidence | +| **Generate** | Compile smaller contracts into inspectable Apple-native capabilities | +| **Team** | Preserve context, file claims, repair packets, and agent handoffs | +| **Cloud** | Provide hosted checks and shared proof history when local tooling is unavailable |

npm package @@ -50,16 +51,16 @@ The first run is local, source-free, and non-destructive. No account is required ## What we optimize for -- **Compiler truth over confident heuristics.** Evidence can confirm, downgrade, or suppress a finding. -- **Local-first trust.** Source stays on the developer's machine unless they explicitly choose a hosted workflow. -- **Small agent context.** Receipts carry verdicts, stable findings, and exact next actions without dumping full logs. +- **Compiler truth over confident heuristics.** Apple evidence can confirm, contextualize, or suppress a finding. +- **Local-first trust.** Source stays on the developer's machine unless a hosted workflow is explicitly chosen. +- **Small agent context.** Receipts carry verdicts, stable findings, and exact next actions instead of full logs. - **Inspectable output.** Generated Swift and proof artifacts remain ordinary files that teams can review and own. -- **Brownfield respect.** Existing projects deserve abstention, no surprise mutation, and a clean escape hatch. +- **Respect for existing projects.** Checks abstain where evidence is incomplete, and mutations require explicit opt-in. ## Build with us -The highest-value contributions improve brownfield precision, Xcode evidence, -Apple API coverage, repair quality, and real-world examples. +The highest-value contributions improve existing-project precision, Xcode +evidence, Apple API coverage, repair quality, and reproducible proof examples. [Good first issues](https://github.com/agenticempire/axint/issues?q=is%3Aissue+is%3Aopen+label%3A%22good+first+issue%22) · [Help wanted](https://github.com/agenticempire/axint/issues?q=is%3Aissue+is%3Aopen+label%3A%22help+wanted%22) · diff --git a/public-truth.json b/public-truth.json index 6751e0b..314be0a 100644 --- a/public-truth.json +++ b/public-truth.json @@ -1,5 +1,5 @@ { - "generatedAt": "2026-07-11T10:23:03.192Z", + "generatedAt": "2026-07-14T07:06:32.000Z", "source": { "compilerMetrics": "axint/scripts/metrics.mjs (executed test counts)", "compilerPackage": "axint/package.json" @@ -9,12 +9,12 @@ "versionTag": "v0.5.2", "license": "Apache-2.0", "tests": { - "typescript": 1368, + "typescript": 1371, "python": 118, - "total": 1486, - "summary": "1486 tests", - "passingSummary": "1486 tests passing", - "breakdownSummary": "1368 TypeScript · 118 Python" + "total": 1489, + "summary": "1489 tests", + "passingSummary": "1489 tests passing", + "breakdownSummary": "1371 TypeScript · 118 Python" }, "diagnostics": { "count": 225, @@ -143,7 +143,7 @@ "summary": "4 Apple surfaces", "list": "Intent · View · Widget · App" }, - "githubProfileProofLine": "v0.5.2 · 36 MCP tools + 5 prompts · 225 diagnostic codes · 1486 tests · 60 live packages · Apache-2.0", + "githubProfileProofLine": "v0.5.2 · 36 MCP tools + 5 prompts · 225 diagnostic codes · 1489 tests · 60 live packages · Apache-2.0", "company": { "heroVersionSummary": "v0.5.2 live", "heroStatusSummary": "Axint v0.5.2 · open source · shipping"