From 51367f71787c69d65268ca15ff91108c596dfbd3 Mon Sep 17 00:00:00 2001
From: Landon Taylor <landon@mossbiscuits.com>
Date: Thu, 12 Jun 2025 15:25:10 -0600
Subject: [PATCH] Add Issue Templates

---
 .gitea/issue_template/add_tool.md | 42 +++++++++++++++++++++++++++++++
 .gitea/issue_template/fix_tool.md | 42 +++++++++++++++++++++++++++++++
 2 files changed, 84 insertions(+)
 create mode 100644 .gitea/issue_template/add_tool.md
 create mode 100644 .gitea/issue_template/fix_tool.md

diff --git a/.gitea/issue_template/add_tool.md b/.gitea/issue_template/add_tool.md
new file mode 100644
index 0000000..c2d0a3d
--- /dev/null
+++ b/.gitea/issue_template/add_tool.md
@@ -0,0 +1,42 @@
+---
+name: "Add Tool"
+about: "This template is used to request a new tool be added."
+title: "[ADD] "
+ref: "main"
+assignees: ["mossbiscuits"]
+labels:
+- "new tool"
+- "enhancement"
+---
+
+Fill in as little or as much information as you like, but more information increases my ability to add your tool effectively.
+
+Tool Name: 
+
+Actively maintained? yes/no
+
+Tool Links: (add as many as you need)
+    - [Homepage]()
+    - [Source Code]()
+    - [Online Playground]()
+
+Applications: (think SMT Solver, Theorem Prover, Probabilistic Model Checker, etc.)
+    - 
+
+Developers: (institutions or individuals)
+    - 
+
+Licenses:
+    - 
+
+Input Formats: (think SMTLIB2, DIMACS, etc.)
+    -
+
+Interfaces: (think CLI, GUI, Online, Python Bindings, etc.)
+    -
+
+Publications: (a DOI or URL is sufficient)
+    - 
+
+Additional Details or Description:
+
diff --git a/.gitea/issue_template/fix_tool.md b/.gitea/issue_template/fix_tool.md
new file mode 100644
index 0000000..a411a1f
--- /dev/null
+++ b/.gitea/issue_template/fix_tool.md
@@ -0,0 +1,42 @@
+---
+name: "Fix Tool"
+about: "This template is used to request a new tool be fixed."
+title: "[FIX] "
+ref: "main"
+assignees: ["mossbiscuits"]
+labels:
+- "fix tool"
+- "bug"
+---
+
+Fill in as little or as much information as you like, but more information increases my ability to add your tool effectively.
+
+Tool Name: 
+
+Actively maintained? yes/no
+
+Tool Links: (add as many as you need)
+    - [Homepage]()
+    - [Source Code]()
+    - [Online Playground]()
+
+Applications: (think SMT Solver, Theorem Prover, Probabilistic Model Checker, etc.)
+    - 
+
+Developers: (institutions or individuals)
+    - 
+
+Licenses:
+    - 
+
+Input Formats: (think SMTLIB2, DIMACS, etc.)
+    -
+
+Interfaces: (think CLI, GUI, Online, Python Bindings, etc.)
+    -
+
+Publications: (a DOI or URL is sufficient)
+    - 
+
+Additional Details or Description:
+