OpenCo opencoca

opencoca / CursorTools.json

Created March 5, 2025 18:53 — forked from ScriptedAlchemy/CursorTools.json

Reverse Engineering cursor prompts

	{
	"tools": [
	{
	"type": "function",
	"function": {
	"name": "codebase_search",
	"description": "Find snippets of code from the codebase most relevant to the search query.\nThis is a semantic search tool, so the query should ask for something semantically matching what is needed.\nIf it makes sense to only search in particular directories, please specify them in the target_directories field.\nUnless there is a clear reason to use your own search query, please just reuse the user's exact query with their wording.\nTheir exact wording/phrasing can often be helpful for the semantic search query. Keeping the same exact question format can also be helpful.",
	"parameters": {
	"type": "object",
	"properties": {

opencoca / update-hosts.sh

Created June 18, 2023 18:05 — forked from jamshid/update-hosts.sh

Docker environment hack, to put the names of running containers in /etc/hosts

	#!/bin/bash
	# An alternative to "links", run this script after starting or stopping any
	# container. It's a hack to update the host machine (vagrant) /etc/hosts with
	# the current active docker containers and tell dnsmasq to refresh.
	#
	# Then start each machine with "-dns ${DOCKER_HOST_IP}", e.g.
	# $ docker run -d -name mycontainer1 -dns 10.0.3.1 MYPRODUCT
	# You can't seem to set the DNS during "docker build".
	#
	# Diagnostic command to run in host or while logged into containers:

opencoca / APAstyle

Created September 18, 2022 23:02 — forked from pdparker/APAstyle

APA Style for Markdown

	/* I have only tested this on Chrome but it
	prints nicely to A4 size */

	@media print {
	body {
	width: 210mm;
	height: 297mm;
	}
	}

opencoca / audio-recorder-gun.html

Created September 20, 2021 18:30 — forked from connor-davis/audio-recorder-gun.html

	<html>
	<head>
	<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1" />
	<title>capture microphone audio into buffer</title>
	</head>
	<body>
	<audio id="player" controls></audio>
	<input
	type="text"
	id="username"