GoNavi is a cross-platform desktop client for connecting to and working with many kinds of data sources, including SQL databases, caches, message queues, vector stores, and search systems. It is for developers who query, edit, audit, and synchronize data or provide structured context to coding agents.
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.
git clone --depth 1 https://github.com/Syngnat/GoNaviWrote this? Show the measurements
A badge with what this costs and how it scanned, read live from this page, so it follows the numbers instead of freezing them. Markdown for a README, HTML for a documentation site or a project page.
[](https://agentmods.dev/rules/syngnat/gonavi/gonavi-java)<a href="https://agentmods.dev/rules/syngnat/gonavi/gonavi-java"><img src="https://agentmods.dev/badge/rules/syngnat/gonavi/gonavi-java/github.svg" alt="Measured on agentmods" height="20"></a>Or the 80×15 button, for a site that already has a row of RSS and ATOM ones. Only the verdict fits; the numbers stay here.
<a href="https://agentmods.dev/rules/syngnat/gonavi/gonavi-java"><img src="https://agentmods.dev/badge/rules/syngnat/gonavi/gonavi-java.svg" alt="Reviewed on agentmods" width="80" height="20"></a>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.
| Model | Per session | Once invoked |
|---|---|---|
| Fable 5.1 | $0.00000 | $0.00224 |
| Opus 5.5 | $0.00000 | $0.00090 |
| Sonnet 5.5 | $0.00000 | $0.00045 |
| Haiku 4.5 | $0.00000 | $0.00022 |
Grade A, and why
gonavi-java 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 29d 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.
What it actually says
GoNavi Java
范围:tools/jmx-helper、internal/jvm/testdata。条款对齐《阿里巴巴 Java 开发手册》。
【强制】
- 类名 UpperCamelCase,方法/变量 lowerCamelCase,常量
UPPER_SNAKE。 - 工具类
final+ 私有构造(参考JmxHelperMain)。 - 禁止空
catch;helper 可把错误写入 stdout JSON 的ok/error,必须带异常类型。 - 文件 ≤400 行,方法 ≤80 行。协议解析放
JmxRuntime,main只做读写。 - 使用
StandardCharsets.UTF_8;魔法值抽常量。 - 禁止把密码、连接串打进日志。stdout 仅用于约定 JSON。
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.
- 29d ago First seen · 19 lines · 0 tokens per session scan A e034737aa7cd
gonavi-java is a cursor rule published in the GitHub repository Syngnat/GoNavi (2,072 stars, last pushed today), licensed Apache-2.0. It costs nothing until one of its globs matches a file; then it loads 224 tokens. 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-09-17.
Other cursor rules, from other repositories
gradle
Enforce modern Gradle build practices for Java and Android projects, focusing on Kotlin DSL, modularity, version catalogs, and performance optimizations.
mockito
This guide provides definitive best practices for writing robust, maintainable, and readable unit tests using Mockito with JUnit 5, focusing on modern patterns and common pitfalls.
springboot-jpa-best-practices
A set of Chinese-language rules for structuring Java Spring Boot applications that use JPA, a library for database access.
graftcode-java
Mandatory Graftcode architecture rules for building Java backend services (plain Maven/Gradle modules exposed via Graftcode Gateway, not REST).
component-parameter-key-no-dot
A naming rule for Java code parameters marked with @ComponentParameter. Their keys must be flat names using letters, numbers, and underscores; dots are not allowed.
java-17-development-standards
Java-specific development standards following Effective Java, Google Java Style Guide, and modern Java 17 LTS best practices.