@exalto/axiomatic

Behavioral testing, reimagined. Write invariants in plain English, and an AI agent verifies them against your source code.

Install

npm install -g @exalto/axiomatic

Quick Start

export ANTHROPIC_API_KEY=sk-ant-...
axm init       # scaffold your first test
axm run        # run all tests

Example Test

# axiomatic/auth-required.yml
condition: >
  All route handlers that access user data must require authentication.
  Public endpoints (health checks, login, registration) are exempt.
on:
  - "app/api/**/*.ts"
severity: error
tags: [security]

$ axm run

  auth-required ✓ pass (0.95 confidence, $0.03)
    Checked 14 route handlers in app/api/.

  data-layer-boundary ✗ fail (0.91 confidence, $0.04)
    Violations:
      src/api/users.ts:34 - Direct prisma.user.findMany() call
      outside of src/data/

Commands

| Command | Description | |---|---| | axm init | Initialize Axiomatic in your project | | axm run | Run tests and report results | | axm add | Interactively create a new test | | axm list | List all tests and their cache status | | axm show <test> | Show cached results for a test | | axm validate | Lint and validate test files | | axm doctor | Check your setup for common issues | | axm watch | Run tests in watch mode | | axm login | Authenticate with the platform | | axm sync | Push results to the platform | | axm install <pack> | Install a test pack from the library | | axm credits | Check your LLM credit balance |

Documentation

Full docs at docs.axiomatic.sh

• Getting Started
• Writing Tests
• Configuration
• CI/CD Integration
• CLI Reference

Platform

The optional hosted platform at axiomatic.sh adds dashboards, organization management, team billing, and GitHub PR feedback. The CLI works fully standalone.

License

MIT