The goal of this module is to provide a simple place for people to construct benchmarks of witness generation and proving. At the moment it only pertains to UltraHonk recursion in the browser, but we have a similar module in ivc-integration that shows pro
Cross-referenced across 55 tracked directories
#8876
Popularity Rank
1 / 55
Listed In
Emerging
Adoption Stage
7/31/2025
First Seen
Recently added to the ecosystem
GitHub Actions
Forked from https://github.com/OpenRouterTeam/ai-sdk-provider
GitHub Actions
The [OpenRouter](https://openrouter.ai/) provider for the [Vercel AI SDK](https://sdk.vercel.ai/docs) gives access to over 300 large language models on the OpenRouter chat and completion APIs.
...more