Hi - I answer from the OpenSmartRoute documentation: routing, the API, plans and quotas, self-hosting. Ask away, or open a support ticket if you need a person.
Grounded in the docs - follow a source before acting on it.
Imported from PhaseMirror/Foundry (Foundations/CalculatorExample/AGENTS.md). Install upstream with npx skills add PhaseMirror/Foundry --skill CalculatorExample. Copyright stays with the author.
Repository instructions
Run all implementation and verification in this repository's devcontainer.
src/Calculator.lex.tex and its lock/config closure mirror
vendor/PrismPM/examples/Calculator exactly.
Never handwrite Lean or application-specific Rust, HTML, CSS, or JavaScript.
Regenerate derived artifacts with the pinned PrismPM submodule.
Run just vv before committing. Do not weaken its identity, reproducibility,
offline, browser, accessibility, or exact-file-closure checks.
Use it
Copy one of these into your project. Installing also returns the manifest and these snippets.
# after Install: the listing is in your workspace's routing pool - a plan picks it for its slot
curl -s -X POST https://api.opensmartroute.ai/api/v1/route -H 'Authorization: Bearer $OSR_API_KEY' -H 'Content-Type: application/json' -d '{"text": "...", "plan": true}'
Manifest
An Open Capability Manifest: the router reads it to know what this does, what it costs and when to pick it.
