name: plan-goal description: >- Turn a fuzzy task into a verifier-first goal. Instead of planning how to do X, first write a self-contained prompt that CHECKS whether X is actually done, make that verifier the standing goal, then run plan→do→verify cycles against it until it passes. Use this whenever starting a non-trivial, multi-step task where "done" is ambiguous or premature success is a risk — especially when the user says "plan-goal", "verify-first", "define done", "set the goal", "how will we know this worked", or asks you to plan something substantial. Prefer this over jumping
| description | Interview me about the plan | |
|---|---|---|
| argument-hint |
|
|
| model | opus |
Read this plan file $1 and interview me in detail using the AskUserQuestionTool about literally anything: technical implementation, UI & UX, concerns, tradeoffs, etc. but make sure the questions are not obvious.
AntiGraviti tools parsed based on reverse engineering and ParseToolArgs structs found in the binary. We need strings, the juice is in the DATA block and not in the code.
I have used the following commands on my MacOS:
1. Extract strings to file for faster iterations
# strings /Applications/Antigravity.app/Contents/Resources/app/extensions/antigravity/bin/language_server_macos_arm > ~/Downloads/language_server_macos_arm_strings.txt
2. Search tools
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # -*- coding: utf-8 -*- | |
| """SimplerMambaSSM.ipynb | |
| Automatically generated by Colaboratory. | |
| #pip install --pre torch --index-url https://download.pytorch.org/whl/nightly/cu121 | |
| Original file is located at | |
| https://colab.research.google.com/drive/1g9qpeVcFa0ca0cnhmqusO4RZtQdh9umY | |
| """ | |
| #!pip install mamba-ssm causal-conv1d | |
| #!wget https://raw.githubusercontent.com/karpathy/char-rnn/master/data/tinyshakespeare/input.txt | |
| #!mkdir differentattention |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| %Make sure to have \usepackage{tikz} | |
| %https://tex.stackexchange.com/a/45815/140440 - for grid | |
| %https://tex.stackexchange.com/a/381175/140440 - for alignment in equation | |
| % This function draws a matrix. | |
| \newcommand{\mat}[2]{% cols, rows | |
| \vcenter{\hbox{ %Vertical alignment | |
| \begin{tikzpicture}[scale=0.3, align=center] |
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.