JoannaaKL
1be1f38de0
* Add ifc labels * Add test * Address PR review: deterministic output, type safety, universe validation, and tests - Fix grammar in ReadersSecurityLabelFromDict godoc - Sort GetReaders and FiniteReaderSet.String output for determinism - Fix godoc example to use UniversalReaders for public label - Panic on unsupported ReaderSet types in Union/Intersection/IsSubset - Add universe mismatch validation in PowersetLattice Join/Meet/Leq - Add comprehensive unit tests for pkg/ifc (lattice laws, serialization, panics) * Add a test * Pass parameters * Remove lattice * Script update
18 lines
700 B
Bash
Executable File
18 lines
700 B
Bash
Executable File
#!/bin/bash
|
|
|
|
# MCP requires initialize -> notifications/initialized -> tools/call
|
|
output=$(
|
|
(
|
|
echo '{"jsonrpc":"2.0","id":1,"method":"initialize","params":{"protocolVersion":"2024-11-05","capabilities":{},"clientInfo":{"name":"get-me-script","version":"1.0.0"}}}'
|
|
echo '{"jsonrpc":"2.0","method":"notifications/initialized","params":{}}'
|
|
echo '{"jsonrpc":"2.0","id":2,"method":"tools/call","params":{"name":"get_me","arguments":{}}}'
|
|
sleep 3
|
|
) | go run cmd/github-mcp-server/main.go stdio "$@" 2>/dev/null | grep '"id":2'
|
|
)
|
|
|
|
if command -v jq &> /dev/null; then
|
|
echo "$output" | jq '{_meta: .result._meta, content: (.result.content[0].text | fromjson)}'
|
|
else
|
|
echo "$output"
|
|
fi
|