From 3e9b8f84b37719ad2c2925e19bf7548827adcf4b Mon Sep 17 00:00:00 2001
From: Landon Taylor <landon@mossbiscuits.com>
Date: Thu, 21 Aug 2025 17:24:52 -0600
Subject: [PATCH] Add new tool generator

---
 new-tool.md | 426 +++++++++++++++++++++++++++++++++++++++++++++++++++-
 1 file changed, 421 insertions(+), 5 deletions(-)

diff --git a/new-tool.md b/new-tool.md
index e95f5eb..3f97c6c 100644
--- a/new-tool.md
+++ b/new-tool.md
@@ -1,12 +1,428 @@
 +++
-title = 'Contribute'
-date = 2025-06-07
+title = 'New Tool Page Generator'
+subtitle = "Creates nicely formatted markdown for a new tool, so you don't have to"
+date = 2025-08-21
 +++
 
 This page is useful to generate copy-and-paste source code in Markdown for a new tool.
+**Publications:** Coming soon.
 
-## Quick Links
+Reset the form with **Double Click** on reset button for safety.
 
-- Request addding a tool: [Submit Git Issue](https://gitmoss.fyi/fmtools/content/issues/new?template=.gitea%2fissue_template%2fadd_tool.md)
-- Request fixing a tool: [Submit Git Issue](https://gitmoss.fyi/fmtools/content/issues/new?template=.gitea%2fissue_template%2ffix_tool.md)
+{{<rawhtml>}}
 
+
+<script>
+function arr(str) {
+    return str.split(',').map(s => s.trim()).filter(Boolean);
+}
+function bool(val) {
+    return val ? 'false' : 'true';
+}
+function generateMarkdown() {
+    const title = document.getElementById('title').value;
+    const subtitle = document.getElementById('subtitle').value;
+    const date = new Date().toISOString().slice(0, 10);
+
+    const homepage = arr(document.getElementById('homepage').value);
+    const sourcecode = arr(document.getElementById('sourcecode').value);
+    const playground = arr(document.getElementById('playground').value);
+
+    const applications = arr(document.getElementById('applications').value);
+    const developers = arr(document.getElementById('developers').value);
+    const licenses = arr(document.getElementById('licenses').value);
+    const inputs = arr(document.getElementById('inputs').value);
+    const interfaces = arr(document.getElementById('interfaces').value);
+    const updatedYear = parseInt(document.getElementById('updated-year').value, 10);
+    const currentYear = new Date().getFullYear();
+    let maintenance = "Actively Maintained";
+    let maintenance_year = "";
+    if (updatedYear && currentYear - updatedYear > 5) {
+        maintenance = "Not Maintained";
+        maintenance_year = `updated_year = ${updatedYear}\n`;
+    }
+    const description = document.getElementById('description').value;
+    let md = `+++
+title = '${title}'
+subtitle = '${subtitle}'
+links = [${homepage.length ? `\n\t{ title = "Homepage", url = "${homepage}", icon = 'fa-solid fa-home' },\n` : ''}${sourcecode.length ? `\t{ title = "Source Code", url = "${sourcecode}", icon = 'fa-solid fa-code' },\n` : ''}${playground.length ? `\t{ title = "Playground", url = "${playground}", icon = 'fa-solid fa-gamepad' }\n` : ''}]
+applications = ${JSON.stringify(applications)}
+developers = ${JSON.stringify(developers)}
+licenses = ${JSON.stringify(licenses)}
+inputs = ${JSON.stringify(inputs)}
+interfaces = ${JSON.stringify(interfaces)}
+maintenance = ${JSON.stringify(maintenance)}
+${maintenance_year}draft = false
+date = ${date}
++++\n\n`;
+    md += description;
+    document.getElementById('output').textContent = md;
+}
+</script>
+
+<table style="width: 100%">
+<style>
+    input[type="text"],
+    input[type="url"],
+    input[type="date"],
+    textarea {
+        width: 100%;
+        box-sizing: border-box;
+    }
+    input,textarea {
+        margin: 0.2rem 0.2rem;
+        font-weight: 500;
+    }
+    table {
+        border-collapse: collapse;
+        width: 100%;
+        background: #eee;
+        color: #000;
+        border-radius: 0.5rem;
+    }
+    th, td {
+        padding: 8px;
+        text-align: left;
+    }
+    tr:nth-child(even) {
+        background: #ccc;
+    }
+    label {
+        color: #000;
+        font-weight: 600;
+        margin-right: 0.5rem;
+    }
+    input, textarea, select {
+        background: #fff;
+        color: #000;
+        border: 2px solid #888;
+        padding: 4px;
+        padding: 0.2rem 1rem;
+        font-size: 0.9rem;
+    }
+    button {
+        background: #000;
+        color: #ccc;
+        border: 2px solid white;
+        padding: 8px 38px;
+        font-size: 1rem;
+        font-weight: bold;
+        cursor: pointer;
+    }
+    button:hover {
+        background: #444;
+    }
+</style>
+<tr>
+    <td><label for="title">Title:</label></td>
+    <td><input type="text" id="title" required></td>
+</tr>
+<tr>
+    <td><label for="subtitle">Subtitle:</label></td>
+    <td><input type="text" id="subtitle"></td>
+</tr>
+<tr>
+    <td><label for="description">Description:</label></td>
+    <td><textarea id="description" rows="3" cols="50"></textarea></td>
+</tr>
+<tr>
+    <td><label for="homepage">Homepage URL:</label></td>
+    <td><input type="url" id="homepage" placeholder="https://example.com"></td>
+</tr>
+<tr>
+    <td><label for="sourcecode">Source Code URL:</label></td>
+    <td><input type="url" id="sourcecode" placeholder="https://github.com/example"></td>
+</tr>
+<tr>
+    <td><label for="playground">Playground URL:</label></td>
+    <td><input type="url" id="playground" placeholder="https://play.example.com"></td>
+</tr>
+<tr>
+    <td><label for="applications">Applications:</label></td>
+    <td>
+        <div id="applications-checkboxes">
+            <label><input type="checkbox" value="Theorem Prover">Theorem Prover</label> &nbsp;
+            <label><input type="checkbox" value="SMT Solver">SMT Solver</label> &nbsp;
+            <label><input type="checkbox" value="SAT Solver">SAT Solver</label>
+            <label><input type="checkbox" value="SAT Solver">Constraint Solver</label>
+            <br>
+            <label><input type="checkbox" value="Model Checker">Model Checker</label> &nbsp;
+            <label><input type="checkbox" value="Runtime Verifier">Runtime Verifier</label> &nbsp;
+            <label><input type="checkbox" value="Proof Assistant">Proof Assistant</label> &nbsp;
+            <label><input type="checkbox" value="Program Prover">Program Prover</label> &nbsp;
+            <label><input type="checkbox" value="Protocol Verifier">Protocol Verifier</label> &nbsp;
+            <br>
+            <label><input type="checkbox" value="Static Analyzer">Static Analyzer</label> &nbsp;
+            <label><input type="checkbox" value="Type Checker">Type Checker</label> &nbsp;
+            <label><input type="checkbox" value="Code Synthesizer">Code Synthesizer</label>
+            <label><input type="checkbox" value="Parameter Synthesizer">Parameter Synthesizer</label> &nbsp;
+            <br>
+            <label><input type="checkbox" value="Test Generator">Test Generator</label> &nbsp;
+            <label><input type="checkbox" value="Model Simulator">Model Simulator</label> &nbsp;
+            <label><input type="checkbox" value="Counterexample Generator">Counterexample Generator</label> &nbsp;
+            <br>
+            <label><input type="checkbox" value="Specification Language">Specification Language</label> &nbsp;
+            <label><input type="checkbox" value="Refinement Tool">Refinement Tool</label> &nbsp;
+            <label><input type="checkbox" value="Visualizer">Visualizer</label> &nbsp;
+            <br>
+            <label><input type="checkbox" value="Probabilistic Program Prover">Probabilistic Program Prover</label> &nbsp;
+            <label><input type="checkbox" value="Probabilistic Model Checker">Probabilistic Model Checker</label> &nbsp;
+            <label><input type="checkbox" value="Stochastic Simulator">Stochastic Simulator</label> 
+            <br>
+            <!-- <label for="other-applications">Other:</label> -->
+            <input type="text" id="other-applications" placeholder="Other application">
+            <script>
+            document.getElementById('other-applications').addEventListener('input', function() {
+                const otherValue = this.value.trim();
+                const checkboxes = Array.from(document.querySelectorAll('#applications-checkboxes input[type="checkbox"]:checked'))
+                    .map(cb => cb.value);
+                const applications = otherValue ? [...checkboxes, otherValue] : checkboxes;
+                document.getElementById('applications').value = applications.join(', ');
+            });
+            </script>
+            <input type="hidden" id="applications">
+        </div>
+    </td>
+    <script>
+function getCheckedApplications() {
+    return Array.from(document.querySelectorAll('#applications-checkboxes input[type="checkbox"]:checked'))
+        .map(cb => cb.value);
+}
+</script>
+</tr>
+<tr>
+    <td><label for="developers">Developers:</label></td>
+    <td>
+        <input type="text" id="developers" placeholder="Devs separated by commas, e.g. Alice, Bob, Carol">
+    </td>
+</tr>
+</tr>
+<tr>
+    <td><label for="licenses">License:</label></td>
+    <td>
+        <select id="licenses">
+            <optgroup label="Copyleft (GPL)">
+                <option value="GPL-1.0">GPL-1.0</option>
+                <option value="GPL-2.0">GPL-2.0</option>
+                <option value="GPL-3.0">GPL-3.0</option>
+                <option value="AGPL-3.0">AGPL-3.0</option>
+            </optgroup>
+            <optgroup label="Copyleft (LGPL)">
+                <option value="LGPL-2.1">LGPL-2.1</option>
+                <option value="LGPL-3.0">LGPL-3.0</option>
+            </optgroup>
+            <optgroup label="Copyleft (Other)">
+                <option value="EPL-2.0">EPL-2.0</option>
+                <option value="CDDL-1.0">CDDL-1.0</option>
+                <option value="OSL-3.0">OSL-3.0</option>
+                <option value="CECILL-2.1">CECILL-2.1</option>
+                <option value="Artistic-2.0">Artistic-2.0</option>
+                <option value="IPL-1.0">IPL-1.0</option>
+                <option value="OCamlPro Non-Commercial">OCamlPro Non-Commercial</option>
+            </optgroup>
+            <optgroup label="Permissive">
+                <option value="MIT">MIT</option>
+                <option value="Apache-1.1">Apache-1.1</option>
+                <option value="Apache-2.0">Apache-2.0</option>
+                <option value="BSD-2-Clause">BSD-2-Clause</option>
+                <option value="BSD-3-Clause">BSD-3-Clause</option>
+                <option value="ISC">ISC</option>
+                <option value="MPL-2.0">MPL-2.0</option>
+                <option value="Zlib">Zlib</option>
+                <option value="Unlicense">Unlicense</option>
+                <option value="CC0-1.0">CC0-1.0</option>
+            </optgroup>
+            <optgroup label="Proprietary / Other">
+                <option value="All Rights Reserved">All Rights Reserved</option>
+            </optgroup>
+            <option value="">Select a license</option>    document.getElementById('licenses').addEventListener('change', function() {
+            document.getElementById('licenses-hidden').value = this.value;
+        });
+        </script>
+        <input type="hidden" id="licenses-hidden">
+    </td>
+</tr>
+<tr>
+    <td><label for="inputs">Inputs:</label></td>
+    <td>
+        <div id="inputs-checkboxes">
+            <!-- SAT/SMT/Model Checking formats -->
+            <label><input type="checkbox" value="SMT-LIB">SMT-LIB</label> &nbsp;
+            <label><input type="checkbox" value="DIMACS CNF">DIMACS CNF</label> &nbsp;
+            <label><input type="checkbox" value="AIGER">AIGER</label> &nbsp;
+            <label><input type="checkbox" value="TPTP">TPTP</label> &nbsp;
+            <label><input type="checkbox" value="SyGuS">SyGuS</label> &nbsp;
+            <label><input type="checkbox" value="WhyML">WhyML</label> &nbsp;
+            <br>
+            <!-- Model Checking languages -->
+            <label><input type="checkbox" value="Promela">Promela</label> &nbsp;
+            <label><input type="checkbox" value="NuSMV">NuSMV</label> &nbsp;
+            <label><input type="checkbox" value="LTL">LTL</label> &nbsp;
+            <label><input type="checkbox" value="CTL">CTL</label> &nbsp;
+            <br>
+            <!-- Hardware description languages -->
+            <label><input type="checkbox" value="Verilog">Verilog</label> &nbsp;
+            <label><input type="checkbox" value="VHDL">VHDL</label> &nbsp;
+            <br>
+            <!-- Formal specification languages -->
+            <label><input type="checkbox" value="B">B</label> &nbsp;
+            <label><input type="checkbox" value="Z">Z</label> &nbsp;
+            <label><input type="checkbox" value="Alloy">Alloy</label> &nbsp;
+            <label><input type="checkbox" value="TLA+">TLA+</label> &nbsp;
+            <br>
+            <!-- Proof assistant formats -->
+            <label><input type="checkbox" value="Coq">Coq</label> &nbsp;
+            <label><input type="checkbox" value="Isabelle/HOL">Isabelle/HOL</label> &nbsp;
+            <label><input type="checkbox" value="HOL Light">HOL Light</label> &nbsp;
+            <label><input type="checkbox" value="ACL2">ACL2</label> &nbsp;
+            <label><input type="checkbox" value="PVS">PVS</label> &nbsp;
+            <br>
+            <!-- Rewriting and algebraic specification -->
+            <label><input type="checkbox" value="Maude">Maude</label> &nbsp;
+            <label><input type="checkbox" value="CASL">CASL</label> &nbsp;
+            <br>
+            <!-- Simulation/visualization formats -->
+            <label><input type="checkbox" value="SPIN">SPIN</label> &nbsp;
+            <label><input type="checkbox" value="DOT">DOT (Graphviz)</label> &nbsp;
+            <br>
+            <!-- Data formats -->
+            <label><input type="checkbox" value="JSON">JSON</label> &nbsp;
+            <label><input type="checkbox" value="XML">XML</label> &nbsp;
+            <label><input type="checkbox" value="CSV">CSV</label> &nbsp;
+            <br>
+            <input type="text" id="other-inputs" placeholder="Other input format(s), separated by commas">
+            <script>
+            document.getElementById('other-inputs').addEventListener('input', function() {
+                const otherValues = this.value.split(',').map(s => s.trim()).filter(Boolean);
+                const checkboxes = Array.from(document.querySelectorAll('#inputs-checkboxes input[type="checkbox"]:checked'))
+                    .map(cb => cb.value);
+                const inputs = otherValues.length ? [...checkboxes, ...otherValues] : checkboxes;
+                document.getElementById('inputs').value = inputs.join(', ');
+            });
+            </script>    <script>
+            document.getElementById('other-inputs').addEventListener('input', function() {
+                const otherValue = this.value.trim();
+                const checkboxes = Array.from(document.querySelectorAll('#inputs-checkboxes input[type="checkbox"]:checked'))
+                    .map(cb => cb.value);
+                const inputs = otherValue ? [...checkboxes, otherValue] : checkboxes;
+                document.getElementById('inputs').value = inputs.join(', ');
+            });
+            </script>
+            <input type="hidden" id="inputs">
+        </div>
+    </td>
+    <script>
+    function getCheckedInputs() {
+        return Array.from(document.querySelectorAll('#inputs-checkboxes input[type="checkbox"]:checked'))
+            .map(cb => cb.value);
+    }
+    </script>
+</tr>
+<tr>
+    <td><label for="interfaces">Interfaces:</label></td>
+    <td>
+        <div id="interfaces-checkboxes">
+            <!-- Web interfaces -->
+            <label><input type="checkbox" value="Web">Web</label> &nbsp;
+            <label><input type="checkbox" value="REST">REST</label> &nbsp;
+            <label><input type="checkbox" value="gRPC">gRPC</label> &nbsp;
+            <label><input type="checkbox" value="API">API</label> &nbsp;
+            <br>
+            <!-- Desktop interfaces -->
+            <label><input type="checkbox" value="CLI">CLI (Command Line)</label> &nbsp;
+            <label><input type="checkbox" value="GUI">GUI (Graphical)</label> &nbsp;
+            <label><input type="checkbox" value="REPL">REPL</label> &nbsp;
+            <br>
+            <!-- Integration interfaces -->
+            <label><input type="checkbox" value="Toolset Integration">Toolset Integration</label> &nbsp;
+            <label><input type="checkbox" value="Library">Library</label> &nbsp;
+            <label><input type="checkbox" value="Plugin">Plugin</label> &nbsp;
+            <label><input type="checkbox" value="IDE Integration">IDE Integration</label> &nbsp;
+            <br>
+            <!-- Other interfaces -->
+            <!-- <label for="other-interfaces">Other:</label> -->
+            <input type="text" id="other-interfaces" placeholder="Other interface(s), separated by commas">
+            <script>
+            document.getElementById('other-interfaces').addEventListener('input', function() {
+                const otherValues = this.value.split(',').map(s => s.trim()).filter(Boolean);
+                const checkboxes = Array.from(document.querySelectorAll('#interfaces-checkboxes input[type="checkbox"]:checked'))
+                    .map(cb => cb.value);
+                const interfaces = otherValues.length ? [...checkboxes, ...otherValues] : checkboxes;
+                document.getElementById('interfaces').value = interfaces.join(', ');
+            });
+            </script>
+            <input type="hidden" id="interfaces">    </div>
+    </td>
+    <script>
+    function getCheckedInterfaces() {
+        return Array.from(document.querySelectorAll('#interfaces-checkboxes input[type="checkbox"]:checked'))
+            .map(cb => cb.value);
+    }
+    </script>
+</tr>
+<tr>
+    <td><label for="updated-year">Last Updated:</label></td>
+    <td>
+        <input type="number" id="updated-year" min="1900" max="2099" style="width:6em;">
+        <script>
+        document.getElementById('updated-year').addEventListener('input', function() {
+            const year = parseInt(this.value, 10);
+            const currentYear = new Date().getFullYear();
+            let status = "Actively Maintained";
+            if (currentYear - year > 5) {
+                status = "Not Maintained";
+            }
+        });
+        // Update hidden input when radio changes
+        Array.from(document.getElementsByName('maintenance')).forEach(radio => {
+            radio.addEventListener('change', function() {
+                document.getElementById('maintenance').value = this.value;
+            });
+        });
+        </script>
+    </td>
+</tr>
+<tr>
+    <td colspan="2" style="text-align:center;">
+        <button type="button" onclick="generateMarkdown()">Generate Markdown</button>
+        <button type="button" ondblclick="resetForm()" onclick="this.style.background='rgba(255, 0, 0, 0.85)';" style="background: rgba(85, 6, 6, 1)">Reset Form</button>
+        <script>
+        function resetForm() {
+            document.getElementById('title').value = '';
+            document.getElementById('subtitle').value = '';
+            document.getElementById('homepage').value = '';
+            document.getElementById('sourcecode').value = '';
+            document.getElementById('playground').value = '';
+            document.getElementById('developers').value = '';
+            document.getElementById('licenses').value = '';
+            document.getElementById('licenses-hidden').value = '';
+            document.getElementById('inputs').value = '';
+            document.getElementById('interfaces').value = '';
+            document.getElementById('updated-year').value = '';
+            document.getElementById('description').value = '';
+            document.getElementById('other-applications').value = '';
+            document.getElementById('other-inputs').value = '';
+            // Uncheck all checkboxes
+            Array.from(document.querySelectorAll('input[type="checkbox"]')).forEach(cb => cb.checked = false);
+            // Clear output
+            document.getElementById('output').textContent = '';
+        }
+        // Accept "Enter" to trigger Generate Markdown in any field
+        Array.from(document.querySelectorAll('input,select,number')).forEach(el => {
+            el.addEventListener('keydown', function(e) {
+                if (e.key === 'Enter') {
+                    e.preventDefault();
+                    generateMarkdown();
+                }
+            });
+        });
+        </script>
+    </td>
+</tr>
+</table>
+
+<h3>Output Markdown:</h3>
+<button type="button" onclick="navigator.clipboard.writeText(document.getElementById('output').textContent)">Copy to Clipboard</button>
+<pre id="output" style="background:#000; padding:1em; border:1px solid #ccc;"></pre>
+
+{{</rawhtml>}}