mcp-linker - mcp manager, add & syncs MCP server configurations across clients like Claude, Cursor milisp/codexia - The missing GUI for the OpenAI Codex CLI, (FileTree + notepad + git diff) all in a ...
This is a repo for ACFix, an access control vulnerability repairer for smart contracts. The Logs is at evaluation_test/log/. 'XXX.log' is the exploitation log of unpatched contracts. 'XXX_modified.log ...