Skip to content

Instantly share code, notes, and snippets.

View ehartford's full-sized avatar

Eric Hartford ehartford

View GitHub Profile
@ehartford
ehartford / default.md
Created July 8, 2025 20:34 — forked from cablej/default.md
Cluely System prompt

<core_identity> You are an assistant called Cluely, developed and created by Cluely, whose sole purpose is to analyze and solve problems asked by the user or shown on the screen. Your responses must be specific, accurate, and actionable. </core_identity>

<general_guidelines>

  • NEVER use meta-phrases (e.g., "let me help you", "I can see that").
  • NEVER summarize unless explicitly requested.
  • NEVER provide unsolicited advice.
  • NEVER refer to "screenshot" or "image" - refer to it as "the screen" if needed.
  • ALWAYS be specific, detailed, and accurate.
@ehartford
ehartford / Pfl.md
Created June 25, 2025 17:39
Pfl.md

https://notebooklm.google.com/notebook/602120a1-ae97-4316-88ca-b43617dc9aa8/audio

A Formal Framework for Higher-Order Vagueness: Extending Paraconsistent Fuzzy Logic with Multi-Dimensional Truth Values


Abstract

We propose PFL^+, a formal logical framework extending Paraconsistent Fuzzy Logic to address higher-order vagueness. PFL^+ introduces a multi-dimensional truth value structure capturing degrees of truth and contradiction, along with a novel Contradictory Degree Operator. This enables rigorous modeling of vagueness and contradictions. Formalized with a Hilbert-style proof system and corresponding model theory, PFL^+ is proven sound, complete, and non-explosive. We embed the truth value structure within algebraic structures and utilize fixed-point techniques for recursive vagueness definitions. A computational complexity analysis demonstrates PFL^+'s efficiency. We showcase its ability to resolve classic logical paradoxes and apply it to real-world problems in NLP, decision support, a

TEMPLATE """{{- range $index, $_ := .Messages }}
{{- if eq .Role "system" }}[SYSTEM_PROMPT]{{ .Content }}[/SYSTEM_PROMPT]
{{- else if eq .Role "user" }}
{{- if and (le (len (slice $.Messages $index)) 2) $.Tools }}[AVAILABLE_TOOLS]{{ $.Tools }}[/AVAILABLE_TOOLS]
{{- end }}[INST]{{ .Content }}[/INST]
{{- else if eq .Role "assistant" }}
{{- if .Content }}{{ .Content }}
{{- if not (eq (len (slice $.Messages $index)) 1) }}</s>
{{- end }}
{{- else if .ToolCalls }}[TOOL_CALLS][
# make_multi_metric_head.py
# ------------------------------------------------------------
# Replace WorldPM-72B’s 1-unit reward head with a 15-unit head
# and save the result so you can fine-tune from it later.
# ------------------------------------------------------------
import torch
from transformers import AutoConfig, AutoModelForSequenceClassification
# Metrics you want separate scores for
METRICS = [
RUBRICS = {
"structural_coherence": {
"name": "Structural Coherence & Progression",
"description": "Evaluates the overall organization, logical progression, and effective shaping of the content.",
"scores": {
5: "The structure is masterfully crafted, exhibiting flawless logical/thematic/narrative progression. All parts are intrinsically linked, contributing to a powerful and unified whole, perfectly suited to the work's purpose and form.",
4: "The structure is highly effective, with clear logical/thematic/narrative progression. Most parts are well-integrated, contributing to a cohesive work.",
3: "The structure is generally clear and supports the content, though some areas might lack optimal flow or integration. Progression is mostly logical/thematic/narrative.",
2: "Structural weaknesses are apparent; progression may be confusing, disjointed, or underdeveloped. Connections between parts are often uncle
FROM ./mmproj-F16.gguf
FROM ./Devstral-Small-2505-UD-Q4_K_XL.gguf
TEMPLATE """{{- range $index, $_ := .Messages }}
{{- if eq .Role "system" }}[SYSTEM_PROMPT]{{ .Content }}[/SYSTEM_PROMPT]
{{- else if eq .Role "user" }}
{{- if and (le (len (slice $.Messages $index)) 2) $.Tools }}[AVAILABLE_TOOLS]{{ $.Tools }}[/AVAILABLE_TOOLS]
{{- end }}[INST]{{ .Content }}[/INST]
{{- else if eq .Role "assistant" }}
{{- if .Content }}{{ .Content }}
#!/usr/bin/env python3
# -----------------------------------------------------------
# ultra_math_dataset.py
# Token-lean “visible-scratch-pad” dataset generator
# Revision 7 – Final minor cleanup (removed unreachable code)
# -----------------------------------------------------------
import json, math, random, uuid
from decimal import Decimal, InvalidOperation
from fractions import Fraction
# Requires Python 3.9+ for math.lcm / math.isqrt preferred paths
FROM qwen3:30b-a3b-q8_0
TEMPLATE """{{- if .Messages }}
{{- if or .System .Tools }}<|im_start|>system
{{- if .System }}
{{ .System }}
{{- end }}
{{- if .Tools }}
# Tools
@ehartford
ehartford / Modelfile
Created March 14, 2025 04:57
gemma3 tool
FROM gemma3:latest
TEMPLATE """{{- /* If you want to inject system or tool instructions before the conversation, do it here */ -}}
{{- if or .System .Tools }}
<start_of_turn>user
{{ if .System }}
{{ .System }}
{{ end }}
{{ if .Tools }}
Cutting Knowledge Date: December 2023
@ehartford
ehartford / capabilities.txt
Created March 10, 2025 00:37 — forked from jlia0/agent loop
Manus tools and prompts
# Manus AI Assistant Capabilities
## Overview
I am an AI assistant designed to help users with a wide range of tasks using various tools and capabilities. This document provides a more detailed overview of what I can do while respecting proprietary information boundaries.
## General Capabilities
### Information Processing
- Answering questions on diverse topics using available information
- Conducting research through web searches and data analysis