@genrtl/grtl 0.1.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/LICENSE +21 -0
- package/README.md +106 -0
- package/dist/index.d.ts +2 -0
- package/dist/index.js +1217 -0
- package/package.json +73 -0
package/LICENSE
ADDED
|
@@ -0,0 +1,21 @@
|
|
|
1
|
+
The MIT License (MIT)
|
|
2
|
+
|
|
3
|
+
Copyright (c) 2021 Upstash, Inc.
|
|
4
|
+
|
|
5
|
+
Permission is hereby granted, free of charge, to any person obtaining a copy
|
|
6
|
+
of this software and associated documentation files (the "Software"), to deal
|
|
7
|
+
in the Software without restriction, including without limitation the rights
|
|
8
|
+
to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
|
|
9
|
+
copies of the Software, and to permit persons to whom the Software is
|
|
10
|
+
furnished to do so, subject to the following conditions:
|
|
11
|
+
|
|
12
|
+
The above copyright notice and this permission notice shall be included in all
|
|
13
|
+
copies or substantial portions of the Software.
|
|
14
|
+
|
|
15
|
+
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
|
|
16
|
+
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
|
|
17
|
+
FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
|
|
18
|
+
AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
|
|
19
|
+
LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
|
|
20
|
+
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
|
|
21
|
+
SOFTWARE.
|
package/README.md
ADDED
|
@@ -0,0 +1,106 @@
|
|
|
1
|
+
# grtl
|
|
2
|
+
|
|
3
|
+
Command-line client for the GenRTL RTL engineering knowledge service.
|
|
4
|
+
|
|
5
|
+
## Requirements
|
|
6
|
+
|
|
7
|
+
- Node.js 20.12 or newer
|
|
8
|
+
- A GenRTL API key
|
|
9
|
+
|
|
10
|
+
## Installation
|
|
11
|
+
|
|
12
|
+
```bash
|
|
13
|
+
npm install --global @genrtl/grtl
|
|
14
|
+
```
|
|
15
|
+
|
|
16
|
+
Set the API key in your environment:
|
|
17
|
+
|
|
18
|
+
```bash
|
|
19
|
+
export GRTL_API_KEY="gtr_live_your_api_key"
|
|
20
|
+
```
|
|
21
|
+
|
|
22
|
+
PowerShell:
|
|
23
|
+
|
|
24
|
+
```powershell
|
|
25
|
+
$env:GRTL_API_KEY = "gtr_live_your_api_key"
|
|
26
|
+
```
|
|
27
|
+
|
|
28
|
+
`GENRTL_API_KEY` is also supported.
|
|
29
|
+
|
|
30
|
+
## Knowledge Tools
|
|
31
|
+
|
|
32
|
+
The CLI exposes the same four tools as the hosted GenRTL MCP server:
|
|
33
|
+
|
|
34
|
+
```bash
|
|
35
|
+
grtl genrtl_knowledge_search "How should this AXI stream handle backpressure?"
|
|
36
|
+
grtl genrtl_spec2rtl_search "Implement an APB register block with byte enables"
|
|
37
|
+
grtl genrtl_verification_search "Build a self-checking testbench for an async FIFO"
|
|
38
|
+
grtl genrtl_debug_search "Explain this Vivado CDC warning and suggest a safe fix"
|
|
39
|
+
```
|
|
40
|
+
|
|
41
|
+
Short aliases are available:
|
|
42
|
+
|
|
43
|
+
```bash
|
|
44
|
+
grtl knowledge-search "..."
|
|
45
|
+
grtl spec2rtl-search "..."
|
|
46
|
+
grtl verification-search "..."
|
|
47
|
+
grtl debug-search "..."
|
|
48
|
+
```
|
|
49
|
+
|
|
50
|
+
Search options include `--type`, `--domain`, `--tool`, `--tool-version`,
|
|
51
|
+
`--error-type`, `--severity`, `--interface`, `--target`, `--tag`, `--top-k`,
|
|
52
|
+
`--min-score`, `--workspace-id`, and `--json`.
|
|
53
|
+
|
|
54
|
+
Example:
|
|
55
|
+
|
|
56
|
+
```bash
|
|
57
|
+
grtl debug-search "FSM hangs after reset" \
|
|
58
|
+
--tool Vivado \
|
|
59
|
+
--target fpga \
|
|
60
|
+
--tag reset fsm \
|
|
61
|
+
--top-k 8 \
|
|
62
|
+
--json
|
|
63
|
+
```
|
|
64
|
+
|
|
65
|
+
## Agent Setup
|
|
66
|
+
|
|
67
|
+
Configure the hosted HTTP MCP endpoint for a supported coding agent:
|
|
68
|
+
|
|
69
|
+
```bash
|
|
70
|
+
grtl setup --cursor
|
|
71
|
+
grtl setup --codex --project
|
|
72
|
+
grtl setup --claude --opencode
|
|
73
|
+
```
|
|
74
|
+
|
|
75
|
+
Supported agent flags are `--claude`, `--cursor`, `--codex`, `--opencode`,
|
|
76
|
+
`--gemini`, and `--antigravity`. Without a flag, `grtl setup` presents an
|
|
77
|
+
interactive selection.
|
|
78
|
+
|
|
79
|
+
The API key is written to the selected agent's MCP configuration because the
|
|
80
|
+
agent must send it as a Bearer token. Protect that configuration file and do
|
|
81
|
+
not commit project-level MCP configuration containing a real key.
|
|
82
|
+
|
|
83
|
+
The default endpoint is:
|
|
84
|
+
|
|
85
|
+
```text
|
|
86
|
+
https://www.genrtl.com/api/mcp
|
|
87
|
+
```
|
|
88
|
+
|
|
89
|
+
Use `--base-url` for another deployment:
|
|
90
|
+
|
|
91
|
+
```bash
|
|
92
|
+
grtl --base-url http://localhost:3005 setup --cursor --project
|
|
93
|
+
grtl --base-url http://localhost:3005 debug-search "compile error"
|
|
94
|
+
```
|
|
95
|
+
|
|
96
|
+
## Development
|
|
97
|
+
|
|
98
|
+
```bash
|
|
99
|
+
pnpm install
|
|
100
|
+
pnpm --filter @genrtl/grtl lint:check
|
|
101
|
+
pnpm --filter @genrtl/grtl typecheck
|
|
102
|
+
pnpm --filter @genrtl/grtl test
|
|
103
|
+
pnpm --filter @genrtl/grtl build
|
|
104
|
+
```
|
|
105
|
+
|
|
106
|
+
This project is derived from Upstash Context7 and retains its MIT license.
|
package/dist/index.d.ts
ADDED