kmizu/ai-lang

A dependently-typed programming language implemented in Python by AI (Claude Code).

1 file for Claude Code: ai-lang CLAUDE.md — 2,063 tokens loaded in every session.

Open on GitHub

10Stars on the repository

1Files it configures its agents with

2,063Tokens loaded in every session

1Agent configured

Instructions

ai-lang CLAUDE.md CLAUDE.md A 2,063 tok

These files are kmizu/ai-lang's own configuration — they tell Claude Code how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.