FINANCIAL SEMANTIC ANALYSIS · NODE.JS · TYPESCRIPT · SOLIDITY

Find the bugs that drain accounts,
not the ones that fail a linter.

OSE Auditor builds a state-transition graph of every function and applies deterministic signatures for broken auth, double-spend races, unchecked external calls, and settlement bypass - before any of it reaches production.

ose - zsh
GET STARTED → VIEW ON GITHUB 5 free audits / week. No card required.
INSTALL

Runs inside Claude Code, Cursor, and Cline

OSE Auditor ships an MCP server so your AI coding assistant can run a security audit as a tool call - without leaving the editor. Add this to your .claude/settings.json:

{
  "mcpServers": {
    "ose-auditor": {
      "command": "ose-mcp",
      "env": {
        "OSE_API_KEY": "ose_sk_your_key_here"
      }
    }
  }
}

Or run ose mcp setup to auto-detect your IDE and write the config automatically.


READY TO AUDIT

Ship financial code you can defend.

Free account in under a minute. First audit runs immediately - no configuration, no agent install, no YAML.

CREATE FREE ACCOUNT → VIEW ON GITHUB