agentmods.dev

spring-plugin AGENTS.md

A contributor guide for Explyt Spring, an IntelliJ plugin that adds Spring, Quarkus, and JPA support to the IDE. It explains the Kotlin, Gradle, and multi-module project structure.

In plain words
What is it for?
Use it when changing plugin modules, running the sandbox IDE, executing tests, building the plugin ZIP, or following the project's code and contribution conventions.
Why use it?
It shows where different features live and which commands build, test, run, and package the plugin.

Instructions file for CodexOpenCode

160 4d ago A scan 747 tokens original Apache-2.0
View the source file explyt/spring-plugin
Install

Getting it into your agent

One page per mod, every tool's command on it. A separate URL per tool would split the same page into five that compete with each other.

agentmods
npx agentmods add instructions/explyt/spring-plugin/agents-md
Clone the repo
git clone --depth 1 https://github.com/explyt/spring-plugin

Made for: Codex, OpenCode.

Per session 747 This file is loaded in full into every session.
When invoked 747 The same file — it is already loaded in full.
Security scan A 0 findings. Scan, not verified.
Origin original No closer match found in the catalogue.
Token cost

What it costs to keep this loaded

Counted locally with the o200k_base tokenizer, which is exact for GPT models; Claude uses its own tokenizer and its counts differ. Treat this as one consistent yardstick across the catalogue rather than a bill. Prices are per million input tokens.

ModelPer sessionOnce invoked
Fable 5 $0.00747 $0.00747
Opus 5 $0.00374 $0.00374
Sonnet 5 $0.00149 $0.00149
Haiku 4.5 $0.00075 $0.00075

Measured 2d ago against content hash 43c8e11396db, method: parsed. Prices are Anthropic first-party input rates as of 2026-08-30, from the pricing page.

Security

Grade A, and why

spring-plugin AGENTS.md scanned grade A with 0 findings against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured 2d ago.

A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.

Nothing flagged

None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.

AGENTS.md · 38 lines

How it starts

The opening of the file, as written. The whole thing — 38 lines — stays where its author put it; the contents beside it link to each section on GitHub.

AGENTS.md — Contributor Guide

Explyt Spring: a multi-module IntelliJ Platform plugin for Spring/Quarkus/JPA support. Kotlin 2.3.20, JDK 21, Gradle. Public open-source project (Apache-2.0): https://github.com/explyt/spring-plugin — issues, discussions, and PRs live there.

Project structure

  • modules/<name>/ — one Gradle module each, configured by modules/<name>/<name>.gradle.kts (not build.gradle.kts).
  • spring-core owns the bean model, inspections, navigation, properties, statistics — most changes land here. Feature modules (spring-web, spring-data, spring-security, …) match their names. base is Spring-agnostic shared utilities; test-framework holds test fixtures; spring-bootstrap is assembly-only (no feature code).
  • Sources: modules/<name>/src/main/kotlin/com/explyt/...; tests: src/test/kotlin; test data: modules/<name>/testdata/.
  • explyt-spring-boot-bean-reader/ is a separate Maven project (runtime javaagent for Native Context Mode).

Build, test, run

./gradlew :spring-bootstrap:runIde       # launch sandbox IDE (root runIde is disabled)
./gradlew :spring-bootstrap:buildPlugin  # ZIP → modules/spring-bootstrap/build/distributions/
./gradlew :spring-core:test              # one module's tests
./gradlew :spring-core:test --tests "com.explyt.spring.core.inspections.kotlin.SpringKotlinObjectInspectionTest"

Tests are IntelliJ Platform tests (headless IDE fixture) — slow and single-forked by design.

Code style and conventions

  • Kotlin-idiomatic code; match surrounding style. Every source file starts with the Apache-2.0 SPDX header (Copyright (c) 2024 Explyt Ltd).
  • User-visible strings go through module message bundles (SpringCoreBundle, …); Spring FQNs come from constants holders like SpringCoreClasses.
  • IntelliJ threading rules apply: no slow work on EDT, PSI access under read/write actions, re-throw ProcessCanceledException, use SmartPsiElementPointer across async boundaries.
  • New inspections extend existing base classes (e.g. SpringBaseUastLocalInspectionTool), live in <module>/inspections/, and are registered in the module's plugin.xml. Reference pair: SpringKotlinObjectInspection.kt + its test.
  • Inspection tests use test-framework base classes (ExplytInspectionKotlinTestCase, …), declare libraries: Array<TestLibrary>, and usually have Java and Kotlin twins under inspections/java/ and inspections/kotlin/. Add or update tests for any behavior change.
  • Track new user-facing actions via StatisticActionId + StatisticService.addActionUsage(...).

Read the full file on GitHub · 38 lines

Changes

What this file has done since we first saw it

Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.

  1. 2d ago First seen · 38 lines · 747 tokens per session scan A 43c8e11396db

Subscribe to this mod's changes

spring-plugin AGENTS.md is an instructions file published in the GitHub repository explyt/spring-plugin (160 stars, last pushed 4d ago), licensed Apache-2.0. It adds 747 tokens to every session, about $0.0037 per session on Opus 5. A static security scan graded it A with 0 findings. No closer match exists in the catalogue, so it is treated as the original; first seen 2026-08-30.

LanguagesMobileTestingidejavakotlinpluginspringspring-boot
Related

Other instructions, from other repositories

embabel-agent CLAUDE.md

Claude Code instructions for embabel/embabel-agent, covering claude.md, important, coding style, working approach and advice for documentation in embabel-agent-docs.

embabel/embabel-agent · 504 tokens

fixture-monkey CLAUDE.md

Instructions for naver/fixture-monkey, covering fixture monkey - claude code 가이드, 절대 규칙, 프로젝트 구조, 빌드 및 테스트 and 코드 스타일.

naver/fixture-monkey · 1,379 tokens

build-brief AGENTS.md

Instructions for static-var/build-brief, covering contributor instructions, setup and verification, architecture and safety.

static-var/build-brief · 396 tokens

mongo-java-driver CLAUDE.md

Instructions for mongodb/mongo-java-driver, a project described as: The official MongoDB drivers for Java, Kotlin, and Scala.

mongodb/mongo-java-driver · 5 tokens

minestom-mcp CLAUDE.md

Instructions for RonaldBunk/minestom-mcp, a project described as: A stdio MCP server for Minestom, implemented with the Model Context Protocol SDK and TanStack AI tool definitions.

RonaldBunk/minestom-mcp · 10 tokens

vauthenticator CLAUDE.md

Instructions for mrFlick72/vauthenticator, a project described as: VAuthenticator OpenID Connect/OAuth2.1 Auth server.

mrFlick72/vauthenticator · 10 tokens