How long does the integration take?

Change one base URL in an OpenAI-compatible client, or install the Python or TypeScript SDK; the quickstart routes a first request in a few minutes.

Will this lock us into another vendor?

No. The router is Apache-2.0 open source, your provider keys stay yours, and the API is OpenAI-compatible, so leaving is a change of base URL.

What happens when a provider fails?

The router falls back to the next model your policy allows and records the fallback in the trace, so an outage costs a retry, not an incident.

90 days of the enterprise, pro and team plans free, no card needed. See the plans

OpenSmartRoute

proof_audit - Prompt - OpenSmartRoute

Promptv1.0.0

proof_audit

Name: proof_audit
Author: femboy2112

Use $collatz-proof-boundary-auditor.

by femboy2112(0) 0 installs

Free

Free account. Installing gives you the manifest plus copy-paste snippets.

See reviews

About

Prompt file imported from femboy2112/lean-scratch2 (.codex/prompts/proof_audit.md). Copyright stays with the author.

Use $collatz-proof-boundary-auditor.

Target: audit the newest reports and uncommitted changes.

Instructions:

Read CLAIM_GUARDRAILS.md and REVIEW_RULES.md.
Scan new reports for forbidden Collatz-level claims.
Classify every mathematical claim.
Generate theorem candidates only for exact finite-level statements with explicit hypotheses.
Use /review on uncommitted changes if available.

Use it

Copy one of these into your project. Installing also returns the manifest and these snippets.

Use `$collatz-proof-boundary-auditor`.

Target: audit the newest reports and uncommitted changes.

Instructions:
1. Read `CLAIM_GUARDRAILS.md` and `REVIEW_RULES.md`.
2. Scan new reports for forbidden Collatz-level claims.
3. Classify every mathematical claim.
4. Generate theorem candidates only for exact finite-level statements with explicit hypotheses.
5. Use `/review` on uncommitted changes if available.

Manifest

The prompt text and its fill-in variables. Copy it or fetch it by URL from your own code.

Installed into a catalogue, chosen by a router

Install proof_audit and it becomes one more candidate the router can pick - when it fits.

A listing is a routing target with a manifest: what it does, which domains it covers, what it costs and who publishes it. Once installed it sits beside your own models and tools, is scored like any other candidate for each request, and shows up in the trace when it wins. Ratings come from workspaces that installed it, one per account.

Photo: RDNE Stock project

For the business

What it costs to adopt - in engineering time.

Same client, same code
One base URL
The OpenAI-compatible endpoint answers your existing SDK calls; model=auto lets the router choose.
The SDKs
One URL, every vendor
No vendor lock-in
Point your OpenAI-compatible client at one address; add, swap or retire providers in the catalogue without touching application code.
Every vendor side by side
Next eligible model answers
Failover built in
When a provider is down or over quota the request moves on; the trace says it did.

femboy2112-lean-scratch2-proof-audit-codex-prompt.prompt.jsonjson

{
  "prompt": "Use `$collatz-proof-boundary-auditor`.\n\nTarget: audit the newest reports and uncommitted changes.\n\nInstructions:\n1. Read `CLAIM_GUARDRAILS.md` and `REVIEW_RULES.md`.\n2. Scan new reports for forbidden Collatz-level claims.\n3. Classify every mathematical claim.\n4. Generate theorem candidates only for exact finite-level statements with explicit hypotheses.\n5. Use `/review` on uncommitted changes if available.",
  "variables": [],
  "notes": "Use `$collatz-proof-boundary-auditor`.",
  "metadata": {
    "source": {
      "provider": "github-codex-prompts",
      "repository": "https://github.com/femboy2112/lean-scratch2",
      "path": ".codex/prompts/proof_audit.md",
      "ref": "398e2983a1fbc8e1410df97c43f42f33025aaaaf",
      "url": "https://github.com/femboy2112/lean-scratch2/blob/398e2983a1fbc8e1410df97c43f42f33025aaaaf/.codex/prompts/proof_audit.md",
      "key": "femboy2112/lean-scratch2/.codex/prompts/proof_audit.md"
    }
  }
}

Fetch it by URL: GET /api/v1/registry/femboy2112-lean-scratch2-proof-audit-codex-prompt/manifest?version=1.0.0

About

Use it

Manifest

Install proof_audit and it becomes one more candidate the router can pick - when it fits.

What it costs to adopt - in engineering time.

One base URL

No vendor lock-in

Failover built in

Reviews