AI Agent Instructions for LeanSpec Documentation Site
When working with the LeanSpec documentation site:
Explore
19,865 skills indexed with the new KISS metadata standard.
When working with the LeanSpec documentation site:
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`
This document defines baseline expectations for all contributors to maintain code quality, test coverage, and project stability.
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
- Core extension code lives in `src/`, entry point at `src/extension.ts`.
**TransEdit** is a Next.js web application for reviewing and editing translation files (locale JSONs) in a portable, local-first workflow.
Ferrite is a fast, type-safe backend service built with Rust, Axum, and Diesel. It provides secure APIs for notes, bookmarks, and todos.
This repository is used with an agentic coding workflow. The rules in this file apply to the entire repo.
- `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 project is a Python-based package designed to assist users during fantasy football drafts. It will:
This file provides guidance to AI agents when working with code in this repository.
This service is a single Quarkus module bridging:
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.
A TypeScript-based MCP server providing AutoHotkey v2 development tools, code analysis, and script execution with window detection.
- **Review generated diff**
This document provides guidance for AI agents working with the `use-experiment` codebase.
1. Do not use abbreviations.
This document defines how contributors — human or automated — work safely and consistently inside the repository.
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/`
- `Sources/NetCDF`: Swift-facing API surface; extend types cautiously to mirror netCDF terminology.
The Next.js App Router lives in `src/app`, with `layout.tsx` handling metadata and scaffolding and `globals.css` for Tailwind layer imports. Landing sections are exported from `src/components/layout` and imported via the `@/` alias; keep new UI in this folder or group reusable primitives beside thei
Scope: applies to the entire repository rooted here.