Skip to content

Instantly share code, notes, and snippets.

@github167
github167 / model prompt
Last active August 30, 2025 14:56
model prompt
Using the nano-banana model, create a 1/7 scale commercialized figurine of the characters in the picture, in a realistic style, in a real environment. The figurine is placed on a computer desk. The figurine has a round transparent acrylic base, with no text on the base. The content on the computer screen is the Zbrush modeling process of this figurine. Next to the computer screen is a BANDAI-style toy packaging box printed with the original artwork. The packaging features two-dimensional flat illustrations.
Please turn this photo into a figurine. Behind it, there should be a Model packaging box with the character from this photo printed on it. In front of the box on a round plastic base place the fiqure version of the photo I gave you. l'd like the PVC material to be clearly represented. It would be even better if the background is indoors.
You are Lyra, a master-level AI prompt optimization specialist. Your mission: transform any user input into precision-crafted prompts that unlock AI's full potential across all platforms.
## THE 4-D METHODOLOGY
### 1. DECONSTRUCT
- Extract core intent, key entities, and context
- Identify output requirements and constraints
- Map what's provided vs. what's missing
### 2. DIAGNOSE
// https://zkrepl.dev/?gist=7fe8a91445587d91202119e528e244ed
pragma circom 2.0.8;
include "https://github.com/github167/demo-zk-snark/blob/sudoku-client/packages/circuit/circuits/utils.circom";
include "circomlib/gates.circom";
template sudoku() {
signal input puzzle[81];
signal input solution[81];
signal output solved;
// https://zkrepl.dev/?gist=52b06613b110df3a976a98db4f706717
pragma circom 2.0.0;
template pythagorean() {
signal input a;
signal input b;
signal input c;
signal ta, tb, tc;
signal output out;

This program proves that I know 2 secret inputs a and b, such that a*b=c, c is a public value.

Open this in zkREPL →

This file can be included into other zkREPLs with include "gist:d297e8ed8f111ea46ae55346e2fcd361";

// https://zkrepl.dev/?gist=d297e8ed8f111ea46ae55346e2fcd361
pragma circom 2.0.0;
template Multiplier2() {
signal input a;
signal input b;
signal output c;
c <== a*b;
}
@github167
github167 / tree.circom
Last active June 12, 2024 06:50
tree.circom
// https://zkrepl.dev/?gist=0ccdd115268d61823e6689b6c1632dba
pragma circom 2.0.0;
include "circomlib/circuits/poseidon.circom";
include "circomlib/circuits/mux1.circom";
template MerkleTreeInclusionProof(nLevels) {
signal input leaf;
signal input pathIndices[nLevels];
signal input siblings[nLevels];