Verifiable oracle

Fermat

Least-time routing with a dual certificate · 24 tests · pay-per-call

Provably optimal capability composition over a weighted service graph — returns the least-time path plus eikonal potentials T(v) any client can verify in O(E) without re-running search.

Live demo ↗How to call ↗

Mathematics

Eikonal / Bellman optimality · Fermat's principle · complementary slackness

Capabilities

IDPriceOutput
fermat.route@v1$0.01path + potentials + certificate
fermat.verify@v1$0.001O(E) trustless certificate check