v0.1.0 · MIT License
Enables an external AI client to discover tender portal APIs, collect and verify tender listings, combine sections, and select relevant lots from a user request through local MCP tools.
v0.1.0 · MIT License
This MCP server lets an agent run local binary inspection on ELF, Mach-O, PE, APK, IPA, ASAR, WebAssembly, and firmware targets — pulling symbols, sections, classified strings, disassembly, and mitigation posture, and flagging dangerous imports and CWE patterns. It exposes eight stdio JSON-RPC tools (with no external API keys) that feed a multi-agent swarm for attack-surface mapping and exploit-chain synthesis.
v1.1.0 · MIT License
Enables agents to audit artifacts for reverse-engineering exposure, inject adversarial protection into binaries, Electron apps, JavaScript bundles, WebAssembly, Python bytecode, databases, AI models, and mobile packages, and verify that automated reconstruction fails.
— · Apache 2.0
Native Model Context Protocol (MCP) server turning AI coding agents into .NET runtime diagnosticians, memory forensic analysts, and CIL binary architects.
— · MIT License
Enables an AI agent to drive a remote Linux machine over the LAN through a single TCP connection, exposing tools for shell commands, jobs, interactive PTYs, file read/write/search/transfer, process and service management, networking, packages, and power control, with optional multi-host switching. Operates without SSH or any Linux-side installation beyond one stdlib-only Python daemon, using a state-free binary protocol.
— · BSD 3-Clause
Enables AI agents to write, compose, and check assume-guarantee contracts, including refinement, consistency, compatibility, realizability, and LTL checks, and to use returned counterexamples to fix specifications.
— · MIT License
Provides OAuth-secured MCP tools for working with private, Git-backed Markdown knowledge bases: searching pages, reading content, ingesting new source documents, retrieving cited original files, and reviewing history or rolling back accepted pages. Every tool call is checked against each person's or agent's current wiki grant and returns source paths and Git revisions for traceability.
— · MIT License
Enables agents to run SweetScape 010 Editor Binary Templates and Scripts headlessly against local files. It provides tools to locate the editor binary, execute templates or scripts, and use controlled exit behavior for compile and runtime failures.
— · MIT License
Enables an LLM client to perform reverse engineering inside IDA Pro without the GUI, opening databases headlessly in persistent worker processes and exposing tools to decompile and disassemble functions, rename symbols, retype variables and arguments, add comments, and convert numeric bases. It can also run over stdio or HTTP transports and adopt an existing GUI session when desired.
— · MIT License
Enables multiple autonomous agents to safely modify shared workspaces and documents by performing three-way reconciliation, detecting collisions, and returning structured conflict data for automated re-arbitration.