Catch the bugs your tests can't.

Axiomatic uses AI agents to verify codebase invariants written in plain English. Authentication gaps, broken architectural boundaries, hardcoded secrets — caught on every commit.

axiomatic/auth-required.yml

condition: >
  All route handlers that access user data
  must require authentication.
on: ["app/api/**/*.ts"]
severity: error

npm install -g @exalto/axiomatic

Get Started Read the Docs

See it in action

Axiomatic analyzes your codebase and reports violations with file-level precision and confidence scores.

Terminal

$ axm run

  Running 4 tests against 38 files...

  auth-required      ✓ pass  (0.95 confidence, $0.03)
    Checked 14 route handlers. All use getServerSession().

  no-hardcoded-secrets ✗ fail  (0.92 confidence, $0.04)
    Violations:
      src/lib/stripe.ts:8 — Contains "sk_live_" API key
      src/config.ts:23 — Hardcoded database password

  db-layer-boundary  ✓ pass  (0.88 confidence, $0.05)
    No direct Prisma imports found outside src/data/.

  error-handling     ✓ pass  (0.91 confidence, $0.03)

  3 passed, 1 failed · $0.15 total · 12.4s

What existing tools miss

Unit tests verify functions. Linters match syntax. Axiomatic reasons about cross-cutting properties that span your entire codebase.

Tool	Strength	Limitation
Linters (ESLint)	Fast syntactic patterns	Cannot reason across files or about behavior
Semgrep	Structural AST matching	Matches patterns, not behavioral intent
Unit tests	Individual function correctness	Cannot verify cross-cutting properties
Code review	Catches nuanced issues	Inconsistent, expensive, doesn't scale
Axiomatic	Cross-cutting behavioral properties	LLM-based ($0.01--0.05/test with caching)

How it works

Define your rules

Write test conditions in plain language — "no API routes without authentication", "all database queries must use parameterized inputs", or any rule your team cares about.

Run the CLI

Axiomatic's AI agent analyzes your codebase against each condition, identifies violations with file-level precision, and reports results with confidence scores.

Enforce on every PR

Connect to GitHub and Axiomatic will automatically review pull requests, post inline comments on violations, and update check statuses.

Up and running in 60 seconds

Install Axiomatic globally, let AI generate tests for your codebase, then run them. A typical test costs $0.01--0.05 with Claude Haiku.

Quick start

$ npm install -g @exalto/axiomatic
$ axm init          # AI generates tests for your codebase
$ axm run           # Run all tests
$ axm watch        # Re-run on file changes

Stop letting silent bugs reach production

Free for public repositories. Set up in under five minutes.