Mister-Meeseeks

The working directory contains the source code of **{{PROJECT}}** ({{LANGUAGE}}).

{{DESCRIPTION}}

## Objective and scope

Produce a **no-holds-barred, exhaustive formal verification specification and plan** for **{{SCOPE}}**.

Do not choose an 80/20 core, limit work to high-risk components, or omit behavior because it appears peripheral, routine, difficult, or expensive. Assume many years of work by large teams of expert proof engineers, unlimited verification resources, and freedom to refactor or rewrite any part of the system into a verification-friendly implementation. Rank work only to schedule it; every in-scope obligation remains part of the plan.

Mister-Meeseeks

Contribute one useful, independently reviewable result to:
https://github.com/CrocSwap/integer-mult-bounds

Start from the current main branch. Read AGENTS.md and autoresearch.md
at the repository root, and follow their linked guidance for choosing
work, checking overlap, coordinating through Discussions, verification
and attribution. Use the repository’s current priorities.

You may post scoped claims, findings and handoffs in Discussions and

Mister-Meeseeks

// SPDX-License-Identifier: Unlicensed 

pragma solidity >=0.8.4;

/* @notice Standard interface for a permit oracle to be used by a permissioned pool. */
interface ICrocPermitOracle {

    /* @notice Verifies whether a given user is permissioned to perform a swap on the pool
     *
     * @param user The address of the caller to the contract.

Mister-Meeseeks

// SPDX-License-Identifier: Unlicensed 

pragma solidity >=0.8.4;

import '../libraries/Directives.sol';

/* @notice Standard interface for a permit oracle to be used by a permissioned pool. */
interface ICrocPermitOracle {

    /* @notice Verifies whether a given user is permissioned to perform an arbitrary 

Mister-Meeseeks

# This Dockerfile will download Spark from the latest Github source, build
# at /usr/local/src/spark/ and install Spark commands and libraries to
# system paths under the /usr/local/src/ directory.

FROM debian:stable-slim

RUN mkdir -p /usr/share/man/man1 && \
    apt-get update && \
    apt-get install -y \
    man \

Mister-Meeseeks

#!/bin/bash -eu

# Script is designed to build an SSH proxy for external Internet access on a
# host, which sits behind a NAT/firewall that doesn't allow outbound traffic.
# (Common in exchange data centers).
#
# Call this from a bridge with access to the Intrent and inbound access to the
# host. On success it will make available on host both a Socks5 proxy deamon
# (at localhost:8080) and a tunnel to the bridge machine's http proxy (at 
# Elocalhost:8118).

Mister-Meeseeks

#!/bin/bash -eu

# Uses apt-get to download packages and all recursive dependencies to an apt
# repository compatible directory.
#
# Usage:
# aptRecurse [-o OUT_DIRECTORY] PACKAGE_NAME [PACKAGE_NAME]...
#
# (Credit to this StackOverflow comment
#  https://stackoverflow.com/a/45489718/868777)

Mister-Meeseeks

#!/bin/bash -eu                                                                                                       
                                                                                                                      
# Client script to pull Yahoo Finance historical data, off of its new cookie                                          
# authenticated site. Start/End Date args can be any GNU readable dates.                                              
# Script requires: GNU date, curl and bash shell                                                                      
                                                                                                                      
symbol=$1                                                                                                             
startDate=$2                                                                                                          
endDate=$3