Skip to content
View lemon07r's full-sized avatar

Highlights

  • Pro

Block or report lemon07r

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. VeraTools/Vera VeraTools/Vera Public

    Local code search combining BM25, vector similarity, and cross-encoder reranking. Parses 60+ languages with tree-sitter, runs entirely offline, and returns structured results with file paths, line …

    Rust 107 14

  2. SanityHarness SanityHarness Public

    A lightweight harness designed to be simple to use, efficient, universially compatible with any coding agent to evaluate them over a broad set of coding tasks and languages.

    Go 242 10

  3. SanityBoard SanityBoard Public

    Home of the SanityHarness Leaderboard website.

    HTML 22 1

  4. VellumForge2 VellumForge2 Public

    VellumForge2 is a Golang CLI for generating high-quality Direct Preference Optimization datasets via a hierarchical prompt pipeline with optional LLM-as-a-Judge scoring. This tool supports OpenAI-c…

    Go 21 1

  5. pampax pampax Public

    Forked from tecnomanu/pampa

    Protocol for Augmented Memory of Project Artifacts (MCP compatible) - extended

    JavaScript 24 6

  6. opencode-kimi-full opencode-kimi-full Public

    TypeScript 121 22