Search: github.com/runtime-env | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Show HN: Runtime Encrypted and Verifiable Kubernetes

github.com/edgelesssys

4 years ago

2 points

32.

Show HN: AegisBPF – Deterministic Runtime Enforcement via eBPF LSM

github.com/ErenAri

4 months ago

2 points

33.

AgentMint – Runtime enforcement for AI agent tool calls

github.com/aniketh-maddipati

3 months ago

1 points

34.

Show HN: Faramesh – open-source runtime enforcement for AI agents

3 months ago

1 points

35.

Show HN: CSL-Core – Formally Verified Neuro-Symbolic Safety Engine for AI

github.com/Chimera-Protocol

4 months ago

2 points

36.

IntentBound: Purpose-aware authorization for autonomous AI agents

5 months ago

2 points

37.

Show HN: ShrijiLang – an AI-powered programming language with its own runtime

github.com/shreeradhika623-sudo

5 months ago

2 points

38.

Show HN: Soppo – A Golang superset that adds enums, pattern matching, nil safety

github.com/halcyonnouveau

7 months ago

2 points

39.

Show HN: Runtime security for AI agents(injection,tool abuse, data exfiltration)

2 months ago

1 points

40.

Show HN: CSL MCP Server – Write and Verify AI Safety Policies from Claude/Cursor

4 months ago

1 points

41.

Show HN: Spring AI Playground – No-code MCP tool studio and agentic chat

github.com/spring-ai-community

6 months ago

1 points

42.

Show HN: SpecFact CLI: Reverse Engineer Legacy Python into Enforceable Contracts

github.com/nold-ai

6 months ago

1 points