~5.01×
#1 on Bonsai 2 9B
angelX holds the top spot on the Bonsai 2 9B inference leaderboard, running on NVIDIA DGX Spark at roughly five times the stock engine's speed.
angelX · by OmniSpace Technologies
omni-space.tech
angelX is an autonomous AI research system. It searches for software and kernel optimizations, benchmarks every candidate, and promotes only the changes that pass validation.
~5.01×
#1 on the Bonsai 2 9B leaderboard
angelX's engine vs. the stock engine on NVIDIA DGX Spark
angelX's engine vs. the stock engine on NVIDIA DGX Spark
Choose a destination
Two sites, one system
angelX is the product; OmniSpace Technologies is the company behind it. Pick either destination.
01 · Product site
angelx.dev
angelX, the product
A Rust terminal harness and TUI cockpit for coding and research agents: model formations, repository tools, content-checked edits, code_mode, project memory (Atlas), headless runs, benchmarks and research loops.
Visit angelx.dev → 02 · Company site omni-space.techOmniSpace Technologies, the company
The OmniSpace Technologies company website (this page): an overview of the company, how its angelX research loop works, and its public, checkable track record, including #1 on Bonsai 2 9B at ~5.01×, 17 Yukon first places, 342 records and Lean-verified cryptography.
Explore OmniSpace Technologies ↓What angelX does
A closed research loop that earns every change
angelX runs the loop end to end, on real hardware, against real verifiers. Nothing is promoted on a hunch.
- 01
Propose
Generates candidate optimizations for a target: kernels, inference engines, cryptographic code.
- 02
Implement
Writes the change as working code in the real codebase, not a sketch.
- 03
Benchmark
Measures each candidate on the target hardware against the current best.
- 04
Validate
Checks correctness with test suites, target verifiers and, where required, machine-checked Lean proofs.
- 05
Promote
Keeps only what is faster and correct, then builds the next round on top of it.
Proven results
Public, checkable outcomes
#1 × 17
Yukon leaderboards
First place on 17 Yukon research leaderboards.
342
Records set
342 leaderboard records, 156 of them produced directly by angelX.
Lean
Verified cryptography
Cryptographic primitives optimized by angelX and proven correct with machine-checked Lean proofs.
Ed25519
Security research
A confirmed Ed25519 universal forgery, found through angelX research and filed through HackerOne.
Product site: angelx.dev. Leaderboard records: yukon.org (handle newjordan). Source: github.com/newjordan/angelX.
Contact
Point angelX at a hard problem
Talk to us about inference speed, kernel performance or verified cryptographic code.