scip

Python interface for the SCIP Optimization Suite

SCIP - Solving Constraint Integer Programs

Symbol Delta Ledger (SDL-MCP) is a policy-centered context budget layer for coding agents: Symbol-graph intelligence combined with precision tools. It turns sprawling codebases into compact, high-signal context that saves tokens, speeds up workflows, and improves agent output.

Extensible Combinatorial Optimization Learning Environments

Deterministic, local-first memory and guardrails for AI coding agents with no LLM in the hot path.

We handle what engineers and IDEs won't: generating and maintaining technical documentation for your codebase, while also providing search with dependency-aware context to help your AI tools understand your codebase and its conventions.

Optimally allocate poker chips using constrained, nonlinear optimization

CLI built for AI agents to help navigate codebases better. An alternative to grep/find/glob

Code intelligence for AI assistants - MCP server, CLI, and HTTP API with symbol navigation, impact analysis, and architecture mapping

Java interface for the SCIP Optimization Suite

DataSAIL is a tool to split datasets while reducing information leakage.

Python interface and modeling environment for GCG

SCIP indexer for Kotlin. Implemented as a SemanticDB compiler plugin.

CS 61A summer 2019 翻译以及项目代码。

Generators for Combinatorial Optimization

Local repo-intelligence index + MCP server: semantic search, symbol/graph navigation, impact-surface preflight, git + GitHub papertrail, and a source-anchored memory graph.

SCIP Code Intelligence Protocol (SCIP) indexer for PHP

Template for deploying an optimization model accessible via a web service based on FastAPI, mongodb and celery

Workshop materials for SFSU SCIP 2022.

An extensible abstraction layer that unifies access to permissionless and permissioned blockchain systems and provides an asynchrounous API to its clients focusing on tasks to handle the uncertainty of transaction durability in blockchains.