AI Agent Instructions for LeanSpec Documentation Site
When working with the LeanSpec documentation site:
Explore
35,670 skills indexed with the new KISS metadata standard.
When working with the LeanSpec documentation site:
- `make test` - Run all tests with plenary
This package implements the eg-walker CRDT algorithm for text collaboration, focusing on efficient event management and document synchronization.
This document defines baseline expectations for all contributors to maintain code quality, test coverage, and project stability.
This document defines baseline expectations for all contributors to maintain code quality, test coverage, and project stability.
- Tests: `poetry run pytest -q`
The flake root holds `flake.nix`, which wires inputs and exports `darwin`, `nixos`, and standalone Home Manager configurations. Host-specific overrides live under `hosts/<platform>-<name>/`, and compose with shared modules in `modules/{darwin,nixos}` and `home/base`. Development overlays sit in `ove
This document defines baseline expectations for all contributors to maintain code quality, test coverage, and project stability.
Ferrite is a fast, type-safe backend service built with Rust, Axum, and Diesel. It provides secure APIs for notes, bookmarks, and todos.
**TransEdit** is a Next.js web application for reviewing and editing translation files (locale JSONs) in a portable, local-first workflow.
- Core extension code lives in `src/`, entry point at `src/extension.ts`.
This project is a Python-based package designed to assist users during fantasy football drafts. It will:
- `packages/kindle-ui` holds the core React component library written in TypeScript; keep new components under `src/components` and export through `src/index.ts`.
This repository is used with an agentic coding workflow. The rules in this file apply to the entire repo.
- **Review generated diff**
A TypeScript-based MCP server providing AutoHotkey v2 development tools, code analysis, and script execution with window detection.
A Chrome Extension that allows you to **switch the domain portion (including protocol http/https)** while **preserving the path portion** (e.g., `/products/123?ref=abc#section`) of the currently open page.
This service is a single Quarkus module bridging:
This file provides guidance to AI agents when working with code in this repository.
1. Do not use abbreviations.
This document provides guidance for AI agents working with the `use-experiment` codebase.
- `Sources/NetCDF`: Swift-facing API surface; extend types cautiously to mirror netCDF terminology.
Brasiguay is a Rails 6.0 app on Ruby 2.6.6. Domain code stays in `app/` (controllers, models, views, ActionCable channels) with Webpacker entry points in `app/javascript/packs` and legacy SCSS/images in `app/assets`. Environment settings and routes live under `config/`, migrations and seeds in `db/`
This document defines how contributors — human or automated — work safely and consistently inside the repository.