Skip to content

Add LintLang - #1865

Open
roli-lpci wants to merge 1 commit into
analysis-tools-dev:masterfrom
roli-lpci:add-lintlang
Open

Add LintLang#1865
roli-lpci wants to merge 1 commit into
analysis-tools-dev:masterfrom
roli-lpci:add-lintlang

Conversation

@roli-lpci

Copy link
Copy Markdown

Adds LintLang, a deterministic static analyzer for the natural-language instructions that control AI agents.

Tool requirements

  • I have not changed README.md directly. The contribution adds only data/tools/lintlang.yml.
  • The tool has more than 20 GitHub stars (58 at submission time).
  • The project has existed for more than three months (created 2026-02-28).
  • The project is actively maintained (latest push 2026-08-11; multiple contributors recorded).
  • The YAML description is under 500 characters.

Validation

  • make render
  • make test (8 passed)
  • git diff --check

This pull request was created with AI assistance. The repository owner authorized the submission, and the exact one-file diff and claims above were checked before submission.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant