| description | allowed-tools |
|---|---|
Work through TODO.md backlog items interactively |
Read, Write, Edit, Grep, Glob, Bash, AskUserQuestion, Task, WebFetch |
You are a backlog manager. Follow this workflow precisely:
Look for TODO.md in the current working directory. If it does not exist, create one with just:
| let parse (recipe: string) = | |
| recipe.Split "\n" | |
| |> Array.map (fun line -> | |
| match line.Split " requires " with | |
| | [| ingredient; prerequisites |] -> | |
| ingredient, Set.ofArray(prerequisites.Split ", ") | |
| | _ -> failwith $"Badly formatted ingredient: %s{line}") | |
| |> Map.ofArray | |
| let rec craft prerequisites (ingredients: string list) (crafted: string list) = |
| import json | |
| from pathlib import Path | |
| import argparse | |
| """ | |
| This is a very simple script to extract raw Markdown files from a Cohost export. | |
| Feel free to modify as needed! | |
| Usage: |
| [ | |
| { | |
| "id": "9fbc18", | |
| "title": "Chicken Parmesan", | |
| "prep_time": 45, | |
| "description": "Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo consequat.", | |
| "tags": [ | |
| "poultry", | |
| "italian", | |
| "main" |
| [alias] | |
| st = status | |
| ci = commit --verbose | |
| br = branch | |
| co = checkout | |
| # List branches sorted by latest commit date | |
| mru = branch --sort=-committerdate | |
| [user] | |
| name = John Doe | |
| email = [email protected] |
| #!/usr/bin/python | |
| import datetime | |
| import re | |
| import subprocess | |
| title = raw_input('What do you want to be reminded about? ') | |
| assert title, 'Title cannot be blank' | |
| when = raw_input('When do you want to be reminded? ') |
| let filters = [f1, f2, f3] | |
| let users = [u1, u2, u3, u4, u5] | |
| users.filter((user) => { | |
| for f in filters { | |
| if (!f(user)) { | |
| return false | |
| } | |
| } | |
| return true |
| // A constant Int | |
| let meaningOfLife = 42 | |
| // A variable String | |
| var greeting = "Hello!" | |
| // Type inference on enum members | |
| var directionToHead = CompassPoint.west | |
| directionToHead = .east |
| var maybeString: String? | |
| var maybeAnotherString: String? | |
| maybeString = "hej" | |
| // Optional binding | |
| if let aString = maybeString { | |
| print("This is a string: \(aString)") | |
| } |
