7 packages found
AIlice is a fully autonomous, general-purpose AI agent.
Open-source AI copilot that lets you chat with your observability data and code 🧙♂️
A curated list of Generative AI tools, works, models, and references
Agentic Theorem Prover for Rocq for Program Verification
ML-Dev-Bench is a benchmark for evaluating AI agents against various ML development tasks.
非线智能 NoneLinear - ReLE评测：中文AI大模型能力评测（持续更新）：目前已囊括374个大模型，覆盖chatgpt、gpt-5.4、谷歌gemini-3.1-pro、Claude-4.6、文心ERNIE-X1.1、ERNIE