AI Model2026
Provides FP8-quantized weights of GLM-5.2 — a 744B long-context LLM tuned for sustained 1M-token engineering, coding and agentic workflows; compatible with vLLM, Transformers, SGLang and Ascend NPU deployments.
AI Dataset2026
Provides a deduplicated 2.0M-row corpus of FABLE.5 / Mythos agent traces with row-level provenance and session-limit rows removed. Includes canonical Parquet and gzip JSONL exports, SHA256 row hashes, and provenance fields for tracing first-source datasets.
AI Dataset2026
Provides 16M+ instruction–response samples and ~81 GB (7,090 compressed GitHub repos) distilled from 68 open-source sources, organized into 8 categories for SFT, coding agents and reasoning research. Model-generated content; released as a curated MIT-licensed collection.
AI Model2026
A code-agent model for Lean 4 that automates repository-level formal proofs and verification; a Mixture-of-Experts architecture (119B total, 6.5B active) with 256k context, multimodal input and an Apache-2.0 license.
AI Coding2024
Runs a coding agent across VS Code, JetBrains, terminal, SDK, CI, and chat channels. Its main bet is portability: many model providers, human-approved steps, MCP tools, and Apache-2.0 code.
AI Coding2025
Runs model-agnostic coding agents inside VS Code for code generation, refactoring, debugging, docs, repo Q&A, terminal/file workflows, MCP, and custom modes. The original extension shut down on May 15, 2026, so treat it as an archive or fork baseline.
AI Coding2024
Turns plain-language prompts into working websites, web apps, and mobile apps in the browser. Chat-driven code generation, live preview, hosting, databases, and GitHub/Figma imports help builders move from idea to shipped project without local setup.
AI Coding2024
Turns plain-language app ideas into working software inside a browser workspace, then lets users preview, debug, and deploy without leaving the platform.