The-LLM-Data-Company / dotevalLinks
doteval
☆20Updated 5 months ago
Alternatives and similar repositories for doteval
Users that are interested in doteval are comparing it to the libraries listed below
Sorting:
- Using LLMs to transpile from Coq to Lean (public version, may be out of date)☆19Updated 5 months ago
- ☆20Updated this week
- Production-Ready MCP Server Framework • Build, deploy & scale secure AI agent infrastructure • Includes Auth, Observability, Debugger, Te…