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

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Show HN: AegisBPF – Deterministic Runtime Enforcement via eBPF LSM (github.com/ErenAri)

2 points

3 months ago

32.

AgentMint – Runtime enforcement for AI agent tool calls (github.com/aniketh-maddipati)

1 point

2 months ago

33.

Show HN: Faramesh – open-source runtime enforcement for AI agents (faramesh.dev)

1 point

3 months ago

34.

Show HN: CSL-Core – Formally Verified Neuro-Symbolic Safety Engine for AI (github.com/Chimera-Protocol)

2 points

4 months ago

35.

IntentBound: Purpose-aware authorization for autonomous AI agents

2 points

4 months ago

36.

Show HN: ShrijiLang – an AI-powered programming language with its own runtime (github.com/shreeradhika623-sudo)

2 points

5 months ago

37.

Show HN: Soppo – A Golang superset that adds enums, pattern matching, nil safety (github.com/halcyonnouveau)

2 points

6 months ago

38.

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

1 point

2 months ago

39.

Show HN: CSL MCP Server – Write and Verify AI Safety Policies from Claude/Cursor (pypi.org)

1 point

4 months ago

40.

Show HN: Spring AI Playground – No-code MCP tool studio and agentic chat (github.com/spring-ai-community)

1 point

5 months ago

41.

Show HN: SpecFact CLI: Reverse Engineer Legacy Python into Enforceable Contracts (github.com/nold-ai)

1 point

5 months ago